量子Büchi自动机的代数及逻辑刻画

• 作者: 韩召伟
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 量子逻辑 量子Büchi自动机 量子无穷正则语言 代数刻画 单体二阶量子逻辑 Büchi定理
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 学术论文
• 页码范围: 1093-1100
• 页数: 8页
• 分类号: TP301.1|O153.1
• 字数: 11822字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2013.06.009

摘要

提出量子Büchi自动机（简记为LVBA ）的概念，利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性，籍此研究了量子无穷正则语言的代数刻画、层次刻画和Büchi刻画以及对于正则运算的封闭性；通过引入单体二阶量子逻辑（简记为LVMSO ）的概念，给出量子Büchi自动机所识别无穷语言的单体二阶逻辑描述，深化和推广了量子逻辑意义下的Büchi基本定理。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩召伟	陕西师范大学数学与信息科学学院	11	40	2.0	5.0