Jabarkan Contoh NFA: dari Teori otomata

String diterima NFA bila terdapat suatu urutan transisi berdasarkan input, dari state awal ke state akhir.

Otomata Pushdown adalah salah satu varian otomata dengan 7-tupel , di mana:

adalah himpunan berhingga dari state,

Ditambah dengan dua unsur, untuk menangani stack:

adalah himpunan berhingga simbol-simbol stack,

Setiap otomata berhingga dapat digunakan untuk mengenali bahasa tertentu.