"automata theory" Deutsche bedeutung