Pushdown-Automat

Natural & Formal Sciences Dictionary
Ein Automat, erweitert um einen Last‑In‑First‑Out‑Stack als unbeschränkten Hilfsspeicher; er erkennt genau die von kontextfreien Grammatiken erzeugten Sprachen (kontextfreie Sprachen) durch Zustandsübergänge kombiniert mit Push‑ und Pop‑Operationen auf dem Stack.