Poznámky k pravidlům
•Interpretace pravidel: Apa ® wq znamená, že pokud je aktuální stav p, aktuální symbol na vstupní pásce a a symbol na vrcholu zásobníku A, potom M může přečíst a a na zásobníku nahradit A za w a přejít ze stavu  p do q.
• Pozn.: pokud a = e, symbol z pásky není přečten
•Čistě matematicky, R je relace
  z G ´ Q ´ (S È {e}) do G* ´ Q
•Místo relačního zápisu (Apa, wq) Î R zapisujeme Apa ® wq Î R
Matematická poznámka k pravidlům:
22/50