finite automata deterministic 2707454