计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
3期
47-50,119
,共5页
Lukasiewicz逻辑%l值下推自动机%l值模糊上下文无关语言%代数刻画
Lukasiewicz邏輯%l值下推自動機%l值模糊上下文無關語言%代數刻畫
Lukasiewicz라집%l치하추자동궤%l치모호상하문무관어언%대수각화
提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l-VPDA间的相互等价性;并证明任意以空栈方式接受模糊语言的f.VPDA与状态转移除一步转移为模糊的以外,其余都是经典函数的l-VPDA是相互等价的;详细研究了l-值模糊上下文无关语言的代数和层次刻画,以及对于正则运算的封闭性.
提齣瞭基于Lukasiewicz邏輯的下推自動機(l-VPDA)的概唸,從代數角度研究瞭此類自動機的性質,同時建立此類自動機的代數刻畫,即利用模糊狀態構造,證明瞭任意以終狀態方式接受模糊語言的l-VPDA與狀態轉移為經典函數且具有l值模糊終狀態的l-VPDA間的相互等價性;併證明任意以空棧方式接受模糊語言的f.VPDA與狀態轉移除一步轉移為模糊的以外,其餘都是經典函數的l-VPDA是相互等價的;詳細研究瞭l-值模糊上下文無關語言的代數和層次刻畫,以及對于正則運算的封閉性.
제출료기우Lukasiewicz라집적하추자동궤(l-VPDA)적개념,종대수각도연구료차류자동궤적성질,동시건립차류자동궤적대수각화,즉이용모호상태구조,증명료임의이종상태방식접수모호어언적l-VPDA여상태전이위경전함수차구유l치모호종상태적l-VPDA간적상호등개성;병증명임의이공잔방식접수모호어언적f.VPDA여상태전이제일보전이위모호적이외,기여도시경전함수적l-VPDA시상호등개적;상세연구료l-치모호상하문무관어언적대수화층차각화,이급대우정칙운산적봉폐성.
