论文部分内容阅读
在形式语言中通过Chomsky范式“标准化”上下文无关文法,从而构造性地证明了:给定一上下文无关文法G=(V,∑,R,S)和一字符串x,必存在多项式算法确定是否x∈L(G).本文指出了Harry R Lewis,Christos H Papadimitrion的著作在定义Chomsky范式算法中的若干不妥之处,并进行了修改,且实现了Chomsky范式算法的程序.