deterministic finite automata in english