PF PN) For every PF, there exists

PF PN) For every PF, there exists a PN s.t. L(PF)=L(PN)

Hasil (Bahasa Indonesia) 1:

PF < = PDA menerima oleh keadaan akhirPF = (QF, ∑, , δF, q0, Z0, F) PN < = PDA menerima oleh tumpukan kosongPN = (QN, ∑, , δN, q0, Z0)Teorema:(PN == > PF) Untuk setiap PN, ada PF s.t. L(PF)=L(PN) (PF == > PN) Untuk setiap PF, ada PN s.t. L(PF)=L(PN)

Hasil (Bahasa Indonesia) 2:

PF <= PDA menerima dengan keadaan akhir
PF = (QF, Σ, , δF, q0, Z0, F)
PN <= PDA menerima dengan kosong tumpukan
PN = (QN, Σ, , δN, q0, Z0)
Teorema:
(PN ==> PF) Untuk setiap PN, terdapat PF st L (PF) = L (PN) (PF ==> PN) Untuk setiap PF, terdapat PN st L (PF) = L (PN)