关于Chomsky范式的算法及其实现

被引:2
作者
孙燮华
机构
[1] 中国计量学院信息工程学院
关键词
上下文无关文法; Chomsky范式; 算法;
D O I
暂无
中图分类号
TP301.6 [算法理论];
学科分类号
081202 ;
摘要
在形式语言中通过Chomsky范式“标准化”上下文无关文法,从而构造性地证明了:给定一上下文无关文法G=(V,∑,R,S)和一字符串x,必存在多项式算法确定是否x∈L(G)。本文指出了Harry R Lew-is,Christos H Papadimitrion的著作在定义Chomsky范式算法中的若干不妥之处,并进行了修改,且实现了Chomsky范式算法的程序.
引用
收藏
页码:238 / 242
页数:5
相关论文
共 2 条
[1]  
形式语言与自动机理论.[M].蒋宗礼;姜守旭编著;.清华大学出版社.2003,
[2]  
计算理论基础.[M].(美)[H.R.刘易斯]HarryR.Lewis;(美)[C.H.帕帕季米特里乌]ChristosH.Papadimitriou著;张立昂;刘田译;.清华大学出版社.2000,