Finite automata implementation
Supports definite and indefinite FA