软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2014年
1期
27-36
,共10页
量子逻辑%正交模格%量子Müller自动机%量子无穷正则语言%单体二阶量子逻辑%Büchi定理
量子邏輯%正交模格%量子Müller自動機%量子無窮正則語言%單體二階量子邏輯%Büchi定理
양자라집%정교모격%양자Müller자동궤%양자무궁정칙어언%단체이계양자라집%Büchi정리
quantum logic%orthomodular lattice%quantum Müller automaton%quantum infinite regular language%monadic second-order quantum logic%Büchi theorem
给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正则语言关于无穷正则运算的封闭性.同时,给出了量子Müller自动机所识别语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Büchi基本定理.
給齣量子Müller自動機(簡稱LVMA)的概唸,通過引入量子有限步可識彆語言和量子狀態構造方法,證明瞭在量子邏輯意義下4類量子Müller自動機彼此相互等價.利用該等價性,建立瞭量子無窮正則語言的代數刻畫和層次刻畫,籍此研究瞭量子無窮正則語言關于無窮正則運算的封閉性.同時,給齣瞭量子Müller自動機所識彆語言的單體二階邏輯描述,深化和推廣瞭量子邏輯意義下的Büchi基本定理.
급출양자Müller자동궤(간칭LVMA)적개념,통과인입양자유한보가식별어언화양자상태구조방법,증명료재양자라집의의하4류양자Müller자동궤피차상호등개.이용해등개성,건립료양자무궁정칙어언적대수각화화층차각화,적차연구료양자무궁정칙어언관우무궁정칙운산적봉폐성.동시,급출료양자Müller자동궤소식별어언적단체이계라집묘술,심화화추엄료양자라집의의하적Büchi기본정리.
