论文部分内容阅读
在功能上,正规文法与有限自动机描述和识别语言是等价的,它们之间也存在等价构造算法,但这些构造算法有些复杂。对其算法进行了简化且给以了证明,并提出了一个从有限自动机构造等价左线性正规文法的算法,同时也进行了证明,最后给出了该算法的一个实例。
正规文法与有限自动机的等价构造
【摘 要】
：
在功能上,正规文法与有限自动机描述和识别语言是等价的,它们之间也存在等价构造算法,但这些构造算法有些复杂。对其算法进行了简化且给以了证明,并提出了一个从有限自动机构造等价左线性正规文法的算法,同时也进行了证明,最后给出了该算法的一个实例。
【机 构】
：
江西财经大学信息管理学院,南昌理工学院计算机科学与软件工程系
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年06期
其他文献
目的：探讨整体护理干预应用于社区糖尿病患者的临床效果。方法：选取2013年12月-2014年12月在遥观镇社区医院就诊的糖尿病患者98例作为研究对象，随机数字表法分为对照组和观察组，
德国环境和自然联合会近日根据德国伯尔基金会的一项调查，绘制了一份“2013食肉地图”。其中，德国人每人一生将会吃掉1094只家畜家禽，包括牛羊分别4头（只）、12只鹅、37只鸭子、46头猪及同样多的火鸡，还有945只鸡，位居世界前列。德国人年消费肉类过量，给环境带来巨大压力，该联合会倡议全民少吃肉。 为此，德国全国上下已行动起来减少食肉量。各大媒体纷纷公布了“2013食肉地图”，并呼吁民众少吃肉
超支化聚合物因其独特的结构和性质而备受关注,聚氨酯（PU）因其优越的性能而得到广泛应用。超支化聚氨酯（HBPU）综合了超支化聚合物独特的结构和PU优异的性能,是近年来高分子材料领
对徐邢启等人提出的基于身份的无证书高效签名方案进行安全性分析,结果表明方案不能抵抗公钥替换攻击和恶意KGC攻击。为此,提出一种改进方案。在改进方案的签名验证阶段增加了对用户公钥的合法性验证,有效抵抗了公钥替换攻击;利用用户的身份信息和公钥共同生成部分私钥,有效抵抗了恶意KGC攻击。