(与前面的例子类似，区别在于中间没有标志”c” ) 解： 非确定的下推自动机 （ NPDA ） q 0 , Z/Z q 1 ε, z 0 /ε q f a, z/az a, a/ε b, z/bz b, b/ε 把“c，z/z”改为“ε，z/z”就引进了非确定性。
基于8个网页-相关网页
非确定的下推自动机
Non-deterministic pushdown automata
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动