Definice: Zásobníkový
automat (ZA) je sedmice:
M = (Q, S, G, R, s, S, F), kde
• Q je konečná
množina stavů
• S je vstupní
abeceda
• G je zásobníková
abeceda
• R je konečná množina pravidel tvaru Apa ® wq,
kde A Î G, p, q Î Q, a Î S È {e}, w Î G*
• s Î Q je počáteční stav
• S Î G je počáteční symbol na zásobníku
• F Í Q je množina koncových
stavů