Teori otomata

Otomata Pushdown adalah salah satu varian otomata dengan 7-tupel formula_11, di mana:
Ditambah dengan dua unsur, untuk menangani "stack":
Dengan fungsi transisinya adalah