Theorem: The PDA for Lwwr accepts a

Theorem: The PDA for Lwwr accepts a string x by final state if and only if x is of the form wwR.
Proof:
(if-part) If the string is of the form wwR then there exists a sequence of IDs that leads to a final state: (q0,wwR,Z0) |---* (q0,wR,wZ0) |---* (q1,wR,wZ0) |---* (q1, ,Z0) |---* (q2, ,Z0)

(only-if part)
Proof by induction on |x|

Hasil (Bahasa Indonesia) 1:

Teorema: PDA untuk Lwwr menerima string x oleh akhir negara jika dan hanya jika x adalah bentuk wwR. Bukti:(jika-bagian) Jika string dari bentuk wwR maka ada urutan id yang mengarah ke keadaan akhir: (q0, wwR, Z0) |---* (q0, wR, wZ0) |---* (q1, wR, wZ0) |---* (q1, , Z0) |---* (q2, , Z0) (hanya-jika bagian)Bukti oleh induksi pada |x|

Hasil (Bahasa Indonesia) 2:

Teorema: The PDA untuk Lwwr menerima string x oleh negara akhir jika dan hanya jika x adalah dari bentuk WWR.
Bukti:
(jika-bagian) Jika string adalah dalam bentuk WWR maka terdapat urutan ID yang mengarah ke keadaan akhir:? (q0, WWR, Z0) | --- * (q0, wR, wZ0) | --- * (q1, wR, wZ0) | --- * (q1, , Z0) | - - * (q2, , Z0) (hanya-jika sebagian) Bukti dengan induksi pada | x |