-
题名量子Müller自动机与单体二阶量子逻辑
被引量：1
- 1
-
-
作者
韩召伟
李永明
-
机构
陕西师范大学数学与信思科学学院
陕西师范大学计算机科学学院
-
出处
《软件学报》
EI
CSCD
北大核心
2014年第1期27-36,共10页
-
基金
国家自然科学基金(11271237,11226266)
陕西师范大学科研启动基金(999553)
-
文摘
给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正则语言关于无穷正则运算的封闭性.同时,给出了量子Müller自动机所识别语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Büchi基本定理.
-
关键词
量子逻辑
正交模格
量子Müller自动机
量子无穷正则语言
单体二阶量子逻辑
Büchi定理
-
Keywords
quantum logic
orthomodular lattice
quantum Müller automaton
quantum infinite regular language
monadic second-orderquantum logic
Btichi theorem
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名量子Bchi自动机的代数及逻辑刻画
被引量：1
- 2
-
-
作者
韩召伟
-
机构
陕西师范大学数学与信息科学学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2013年第6期1093-1100,共8页
-
基金
国家自然科学基金(No.11271237)
国家自然科学基金数学天元专项基金(No.11226266)
陕西师范大学科研启动基金(No.999553)
-
文摘
提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量子逻辑(简记为LVMSO)的概念,给出量子Bchi自动机所识别无穷语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Bchi基本定理.
-
关键词
量子逻辑
量子Buchi自动机
量子无穷正则语言
代数刻画
单体二阶量子逻辑
Buchi定理
-
Keywords
quantum logic
quantum Büchi automaton
quantum infinite regular language
algebraic characterization
monadic second-order quantum logic
Büchi theorem
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
O153.1
[理学—基础数学]
-
