论文部分内容阅读
根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动产生机制。
正则语言的可递归性
【摘 要】
：
根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动产生机制。
【机 构】
：
成都理工大学信息管理学院,成都电子机械高等专科学校信息与计算科学系
【出 处】
：
重庆邮电大学学报(自然科学版)
【发表日期】
：
2009年06期
其他文献
科教展馆是虚拟现实视域下相关技术主要应用阵地之一,其沉浸式体验、全景化感知的能力,为科教展馆影像创造革新提供了良好的机遇。因此,本文以虚拟现实视域下科学教育展览馆
以船用柴油机为研究对象,采用TMS320LF28335为主控制器结合传感器及相关电路构成数据采集系统对柴油机气缸压力数据进行采集,并对获得的数据进行处理,从而得到的柴油机气缸压
科学而明确的职业意识对大学生走向社会、做好本职工作具有重要意义。行业性及定向性较强的民航院校尤为如此,在学校教育中应注重培养学生的学习与创新意识、责任意识、服务
在今天山东省潍坊市二中校园的一角,仍屹立着几座百年老建筑,不仅有默然肃立的老教堂,还有青砖红瓦的乐道院,默默见证着人类社会百年以来的风雨历程。这里就是二战期间日本在
<正>少时爱看武侠小说,总惦记着一种至高的武功心法"退字诀":先化消力道,再拨开来肘,端的是以柔克刚,以巧胜力。后来读到《烛之武退秦师》,却常感慨烛之武为何不似蔺相如"血
科技的进步改变了人们获取信息的习惯。目前,新媒体以锐不可当的发展势头向传统出版业发出了挑战。对此,传统出版业编辑在面对出版业的新常态时,必须看清形势,在保持自身优势
1962年．北京师范大学打算在德胜门外小西天西南角修建房屋时．意外地挖掘出了5座墓葬．其中最为引人注目的是黑舍里氏墓。这个墓的墓主为清朝著名大臣索尼的孙女．一个仅仅7岁就夭折
虎符是一种极具艺木感的军事兵符，是君王发给地方官或驻军首领的调兵凭证，普遍用铜制作而成，因呈虎形而得名，传说为姜子牙首创。我国目前已发现的虎符，年代最早的制作于春秋战国时
小学英语是学生学习英语的初级阶段,对于学生的未来学习影响很大,教师需要以有效的教学方法实现对学生的进一步教学。在超越式学习中,教师为学生精心设计出具有挑战性的教学