deterministic finite automata 1778143