Simulating deterministic and nondeterministic finite automata. Provides automatic conversion to the powerset construction of the DFA equivalent to an NFA.