作者:闵兰 陈晓敏正则文法确定有限自动机递归可枚举集
摘要:根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自动机所识别的语言集是一个递归可枚举集,同时讨论了正则语言的可递归性。有助于进一步研究正则语言的自动产生机制。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《重庆邮电大学学报·自然科学版》(CN:50-1181/N)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《重庆邮电大学学报·自然科学版》以信息学科为特色的专业性学术期刊;它反映了我国电子、通信、计算机、自动控制等最新科学技术研究成果,在中国文献领域占有重要的学术地位。
杂志详情