软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2010年
9期
2107-2117
,共11页
量子逻辑%正交模格%量子下推自动机%量子上下文无关语言%量子上下文无关文法
量子邏輯%正交模格%量子下推自動機%量子上下文無關語言%量子上下文無關文法
양자라집%정교모격%양자하추자동궤%양자상하문무관어언%양자상하문무관문법
给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(l-VCFG)的等价性.
給齣基于量子邏輯的下推自動機(l-VPDA)的概唸,提齣廣義的子集構造方法,進而證明瞭一般的l-VPDA與狀態轉移為分明函數且具有量子終態的l-VPDA的等價性.利用此等價性,給齣瞭量子上下文無關語言的代數刻畫與層次刻畫,併籍此證明瞭量子上下文無關語言關于正則運算的封閉性.最後,說明瞭量子下推自動機和量子上下文無關文法(l-VCFG)的等價性.
급출기우양자라집적하추자동궤(l-VPDA)적개념,제출엄의적자집구조방법,진이증명료일반적l-VPDA여상태전이위분명함수차구유양자종태적l-VPDA적등개성.이용차등개성,급출료양자상하문무관어언적대수각화여층차각화,병적차증명료양자상하문무관어언관우정칙운산적봉폐성.최후,설명료양자하추자동궤화양자상하문무관문법(l-VCFG)적등개성.
