pushdown automata (pda)

ConstructionFor δ(q i ,a,A) = (q j ,λ), we add to the production(q i Aq j ) → a.For δ(q i ,a,A) = (q j ,BC), we add to the production(q i Aq k ) → a(q j Bq l )(q l Cq k ),where q l ,q k take on all values in Q. That is, to erase Afrom stack, we first replace A by BC and subsequentlyerase B and C.The start symbol is (q 0 zq f ).Pushdown Automata – p. 16