Zásobníkové automaty: Definice
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ů
21/50