"nondeterministic finite automata" Deutsche bedeutung