Gagasan utama:
Setiap kali PF mencapai keadaan akhir, hanya membuat -transition menjadi negara akhir baru, membersihkan tumpukan dan menerima
Bahaya: Bagaimana jika PF desain sedemikian rupa sehingga membersihkan tengah tumpukan tanpa memasukkan keadaan akhir ?? untuk mengatasi hal ini, menambahkan X0 simbol awal baru (tidak di PF)
PN = (QU {p0, pe}, Σ, U {X0}, δN, p0, X0)
Sedang diterjemahkan, harap tunggu..