Unknown
निम्नलिखित PDA कि formal description है जो Language को मान्यता देता है
M = (Q , ∑ , Γ , δ , q0 , Z , F)
States : Q = {p,q,r}
input alphabet : ∑ = {0,1}
stack alphabet : Γ = {A , Z}
start state = q0 = p
start stack symbol : Z
accepting states : F = { r }
Transition Relation δ निम्न्लिखित 6 Instructions Consists करता है
शब्दों में, first two instructions कहते हैं कि State p में किसी भी समय Symbol 0 read किया जाता है, एक A को Stack पर pushed कर दिया जाता है। एक A के top पर Symbol A को Push कर देना AA द्वारा Top A की जगह के रूप में Formal form मे दिया जाता है (और इसी तरह Symbol A को Z के Top पर Push करने के लिए)।