deterministic finite automata in flat