This package contains classes to create finite automata and operate on them.