电子学报Issue(6)：1093-1100,8.DOI:10.3969/j.issn.0372-2112.2013.06.009
量子Büchi自动机的代数及逻辑刻画
Algebraic and Logical Characterizations of Quantum Büchi Automata
摘要
Abstract
The notion of quantum Büchi automaton (LVBA for short )is introduced ,by means of quantum state construction , the equivalence of an LVBA and an LVSBA with crisp transition function is proved ,based on this ,the algebraic and level character-izations and also the Büchi characterization of quantum infinite regular languages are investigated ,and also the closed properties of those quantum infinite regular languages under some regular operations are dealt with .By providing the concept of monadic second-order quantum logic (LVMSO in short ) ,the monadic second-order logic characterizations of infinite regular languages recognized by quantum Büchi automata are presented ,which deepen and generalize the fundamental Büchi theorem to quantum setting .关键词
量子逻辑/量子Büchi自动机/量子无穷正则语言/代数刻画/单体二阶量子逻辑/Büchi定理Key words
quantum logic/quantum Büchi automaton/quantum infinite regular language/algebraic characterization/monadic second-order quantum logic/Büchi theorem分类
信息技术与安全科学引用本文复制引用
韩召伟..量子Büchi自动机的代数及逻辑刻画[J].电子学报,2013,(6):1093-1100,8.基金项目
国家自然科学基金（No ．11271237）；国家自然科学基金数学天元专项基金（No ．11226266）；陕西师范大学科研启动基金 （）
