计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2013年
9期
45-50
,共6页
量子逻辑%正交模格%量子确定型正则文法%量子确定正则语言
量子邏輯%正交模格%量子確定型正則文法%量子確定正則語言
양자라집%정교모격%양자학정형정칙문법%양자학정정칙어언
quantum logic%orthomodular lattice%orthomodular lattice-valued deterministic regular grammas%orthomodular lattice-valued deterministic regular languages
基于量子逻辑的文法理论是量子计算模型的一个重要研究方向.给出了基于量子逻辑的确定型正则文法的概念,证明了基于量子逻辑的确定型正则文法与基于量子逻辑的确定型自动机的等价性.利用此等价性,给出了量子确定正则语言的代数刻画和层次刻画,并得到量子确定正则语言关于正则运算的封闭性.
基于量子邏輯的文法理論是量子計算模型的一箇重要研究方嚮.給齣瞭基于量子邏輯的確定型正則文法的概唸,證明瞭基于量子邏輯的確定型正則文法與基于量子邏輯的確定型自動機的等價性.利用此等價性,給齣瞭量子確定正則語言的代數刻畫和層次刻畫,併得到量子確定正則語言關于正則運算的封閉性.
기우양자라집적문법이론시양자계산모형적일개중요연구방향.급출료기우양자라집적학정형정칙문법적개념,증명료기우양자라집적학정형정칙문법여기우양자라집적학정형자동궤적등개성.이용차등개성,급출료양자학정정칙어언적대수각화화층차각화,병득도양자학정정칙어언관우정칙운산적봉폐성.