Automate à Pile
Natural & Formal Sciences Dictionary
Définition
Automate enrichi d'une mémoire auxiliaire de type pile (LIFO) ; il reconnaît exactement les langages générés par des grammaires context‑free (langages hors-contexte) en combinant transitions d'états et opérations de push/pop sur la pile.