基于量子逻辑的有穷自动机与单体二阶量子逻辑

摘要：

文中引入了单体二阶量子逻辑,进而给出了基于量子逻辑的有穷自动机识别语言的逻辑描述,证明了量子逻辑意义下的Biichi-Elgot基本定理.通过引入星-自由量子语言与非周期量子语言,完全刻画了可以用一阶量子逻辑定义的量子语言,得到了量子逻辑意义下的Schützenberger分类定理.另外,通过引入广义的子集构造方法,还给出了基于量子逻辑的有穷自动机的确定化形式,进而研究了基于量子逻辑的Kleene定理的表现形式.

关键词：量子逻辑、有穷自动机、单体二阶量子逻辑、量子语言、量子计算、Kleene定理

所属期刊栏目：39

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金10573112;60873119;教育部高等学校博士学科点专项科研基金200807180005

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

页数：共11页

页码：1135-1145