deterministic finite automata in toc