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

来源 :中国计量学院学报 | 被引量 : 0次 | 上传用户:icetqq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在形式语言中通过Chomsky范式“标准化”上下文无关文法,从而构造性地证明了:给定一上下文无关文法G=(V,∑,R,S)和一字符串x,必存在多项式算法确定是否x∈L(G).本文指出了Harry R Lewis,Christos H Papadimitrion的著作在定义Chomsky范式算法中的若干不妥之处,并进行了修改,且实现了Chomsky范式算法的程序.
其他文献
设X={xk∶k=1,2,…,n}是区间(0,1]上n个互不相同点的集合,令pn(x)=∏nk=1(xk+x),rn(X;x)=xpn(x)-pn(-x)/pn(x)+pn(+x),本文给出了当X=U={xk=cosk/2n+1π∶k=1,2…,n},X=T={xk=sin 2k-1/4nπ∶k=1
整合了嵌入式系统和上位机软件,提出了基于嵌入式Linux系统的育龄人口与计划生育信息便携式移动终端及系统的研制方案,并且详细介绍了该系统的研制过程,给出了整个系统的框架图
采用均相共沉淀法制备了不同粒径的Y2O3:Eu3+和Y2O3粉体材料,根据红外光谱和荧光光谱,探讨了纳米Y2O3:Eu3+粉体的微观结构与同质体微米材料相对变化.发现纳米粉体的Y(Eu)-O键
利用广义系统正常化方法,在较为一般的条件下,把存在输出反馈控制器使得闭环系统无脉冲模,内稳定且满足H2性能指标的充分条件表示成线性矩阵不等式(LMI)的形式.给出的控制器
利用LMIs方法,对一类具有非线性饱和执行器的不确定线性多重滞后系统的鲁棒镇定问题进行了研究,提出了新的鲁棒可镇定判据和相应的鲁棒无记忆状态反馈控制器设计方法.简洁的
复合预混料指由微量元素、维生素、氨基酸和非营养性添加剂中任何两类或两类以上的组分与载体或稀释剂按一定比例配制的均匀混合物,它包含了除常规饲料原料以外的大部分营养
探讨了Ω-代数的遗传性,即考察Ω-代数的生成元集的性质对Ω-代数自身性质的影响,证明了在一定条件下Ω-代数的交换性及从一个Ω-代数到另一个Ω-代数的同态映射都由Ω-代数的