例子3字母表{a,b}上a和b数目不相等的所有字串能够由下上下文无关文法述文法产生:S-U|VU-TaU|TaTV-TbV|TbTT-aTbT|bTaT|ε那里T能够产生a和b数目相等的所有字串,U能够产生a的数目多于b的数目标所有字串,V能够产生a的数目少于b的数目标所有字串
0
例子3字母表{a,b}上a和b数目不相等的所有字串能够由下上下文无关文法述文法产生:S-U|VU-TaU|TaTV-TbV|TbTT-aTbT|bTaT|ε那里T能够产生a和b数目相等的所有字串,U能够产生a的数目多于b的数目标所有字串,V能够产生a的数目少于b的数目标所有字串