计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2008年
11期
72-74
,共3页
量子逻辑%正交模格%量子下推自动机%量子上下文无关语言%代数刻画
量子邏輯%正交模格%量子下推自動機%量子上下文無關語言%代數刻畫
양자라집%정교모격%양자하추자동궤%양자상하문무관어언%대수각화
首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA问的相互等价性;其次详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性.
首先,本文提齣量子下推自動機(簡記為L-VPDA)的概唸,從代數角度齣髮詳細研究瞭此類自動機的性質,同時建立此類自動機的代數刻畫,即利用量子狀態構造證明瞭任意L-VPDA與狀態轉移為經典函數且具有量子終狀態的L-VPDA問的相互等價性;其次詳細研究瞭量子上下文無關語言的代數刻畫以及對于正則運算的封閉性.
수선,본문제출양자하추자동궤(간기위L-VPDA)적개념,종대수각도출발상세연구료차류자동궤적성질,동시건립차류자동궤적대수각화,즉이용양자상태구조증명료임의L-VPDA여상태전이위경전함수차구유양자종상태적L-VPDA문적상호등개성;기차상세연구료양자상하문무관어언적대수각화이급대우정칙운산적봉폐성.