"pushdown automaton" Deutsche bedeutung