This module of tcllib is used to create and manipulate finite automatons.
See grammar_fa for more details.