采用下推自动机实现文法

语言描述如下： { 1n0m | n ≥ m ≥ 1 } 转化为上下文无关文法方法如下： 1 、拆分语言 {1^n│n≥0} {1^m 0^m |m≥1｝ 据此得到文法: G : S->1S|10|1A0 A->1A0|10 PDA M=(Q,Σ,Γ,δ,q0,Z0,F) 所以 Σ={0,1}