"finite automaton" Deutsche bedeutung