This module of tcllib is used to create and manipulate finite automatons.
Category Package Category Tcllib