Theorem 1: If for a PDA, (q, x, A)

Theorem 1: If for a PDA, (q, x, A) |---* (p, y, B), then for any string w  ∑* and   *, it is also true that:
(q, x w, A ) |---* (p, y w, B )

Theorem 2: If for a PDA, (q, x w, A) |---* (p, y w, B), then it is also true that:
(q, x, A) |---* (p, y, B)

Hasil (Bahasa Indonesia) 1:

Teorema 1: Kalau untuk PDA, (q, x, A) |---* (p, g, B), maka untuk setiap string w  ∑ * dan    *, itu juga benar bahwa:(q, x w, ) |---* (p, y w, B )Teorema 2: Kalau untuk PDA, (q, x w, A) |---* (p, y w, B), maka itu adalah juga benar bahwa:(q, x, A) |---* (p, g, B)

Hasil (Bahasa Indonesia) 2:

Teorema 1:?? Jika untuk PDA, (q, x, A) | --- * (p, y, B), maka untuk setiap string w  Σ * dan    *, benar juga bahwa:
(q, xw, A ) | --- * (p, yw, B ) Teorema 2: Jika untuk PDA, (q, xw, A) | --- * (p, yw, B), maka itu juga benar bahwa: (q, x, A) | --- * (p, y, B)