量子Müller自动机与单体二阶量子逻辑

作者：韩召伟; 李永明

来源：软件学报, 2014, 25(01): 27-36.

DOI：10.13328/j.cnki.jos.004406

• 量子逻辑
• 正交模格
• 量子Müller自动机
• 量子无穷正则语言
• 单体二阶量子逻辑
• Büchi定理

给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正则语言关于无穷正则运算的封闭性.同时,给出了量子Müller自动机所识别语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Büchi基本定理.

• 单位
  陕西师范大学