"deterministic finite automaton" Deutsche bedeutung