量子无穷正则语言的代数性质

摘要：

引入了量子Müller自动机和量子无穷正则语言的概念.注意到量子Müller自动机识别的量子无穷正则语言的像集总是有限的,借助语义分析方法和量子状态构造技术,研究了量子Müller自动机的代数刻画,即证明了任一量子Müller自动机与具有分明初状态和状态转移函数且具有量子终状态的量子Müller自动机是相互等价的;借此给出了量子无穷正则语言的代数描述和层次刻画,即任一量子无穷语言A是可识别的当且仅当A的像集有限且A可表示为有限个特殊量子无穷正则语言的并;作为应用,证明了即使量子逻辑本身缺少分配律,量子无穷正则语言关于正则运算仍然封闭.

关键词：量子逻辑、量子Müller自动机、量子无穷正则语言

所属期刊栏目：40

分类号：TP301.1(计算技术、计算机技术)

资助基金：教育部高等学校博士学科点专项科研基金项目200807180005;陕西省教育厅科学研究计划项目12JK0869;陕西师范大学科研启动基金项目999553

在线出版日期：2012-12-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：9-13