计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2013年
6期
1235-1245
,共11页
模糊逻辑%模糊Büchi自动机%模糊ω-正则语言%单体二阶(L)ukasiewicz逻辑%刻画
模糊邏輯%模糊Büchi自動機%模糊ω-正則語言%單體二階(L)ukasiewicz邏輯%刻畫
모호라집%모호Büchi자동궤%모호ω-정칙어언%단체이계(L)ukasiewicz라집%각화
fuzzy logic%fuzzy Büchi automaton%fuzzy ω-regular language%monadic second-order (L)ukasiewicz logic%characterization
模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊Büchi自动机与具有分明初始状态和状态转移函数且具有模糊终状态的模糊Büchi自动机是等价的,藉此研究了模糊ω-正则语言的代数刻画和层次刻画,讨论了模糊ω-正则语言关于正则运算的封闭性;其次引入单体二阶(L)ukasiewicz逻辑的概念,给出模糊Büchi自动机识别语言的等价逻辑刻画;最后通过引入ω-星自由和ω-非周期模糊ω-语言,利用“层次化”处理技巧得到了多值逻辑意义下的分类定理,对模糊ω-正则语言给出了一种分类方法.
模糊語言的研究是形式語言研究的焦點之一,然而如何對模糊語言進行刻畫甚至更好地分類是其中一箇重要研究方嚮.文章在模糊ω-語言的研究基礎上,從模糊邏輯角度研究瞭模糊ω-正則語言的等價刻畫.首先藉助廣義子集構造方法,證明瞭任一模糊Büchi自動機與具有分明初始狀態和狀態轉移函數且具有模糊終狀態的模糊Büchi自動機是等價的,藉此研究瞭模糊ω-正則語言的代數刻畫和層次刻畫,討論瞭模糊ω-正則語言關于正則運算的封閉性;其次引入單體二階(L)ukasiewicz邏輯的概唸,給齣模糊Büchi自動機識彆語言的等價邏輯刻畫;最後通過引入ω-星自由和ω-非週期模糊ω-語言,利用“層次化”處理技巧得到瞭多值邏輯意義下的分類定理,對模糊ω-正則語言給齣瞭一種分類方法.
모호어언적연구시형식어언연구적초점지일,연이여하대모호어언진행각화심지경호지분류시기중일개중요연구방향.문장재모호ω-어언적연구기출상,종모호라집각도연구료모호ω-정칙어언적등개각화.수선차조엄의자집구조방법,증명료임일모호Büchi자동궤여구유분명초시상태화상태전이함수차구유모호종상태적모호Büchi자동궤시등개적,자차연구료모호ω-정칙어언적대수각화화층차각화,토론료모호ω-정칙어언관우정칙운산적봉폐성;기차인입단체이계(L)ukasiewicz라집적개념,급출모호Büchi자동궤식별어언적등개라집각화;최후통과인입ω-성자유화ω-비주기모호ω-어언,이용“층차화”처리기교득도료다치라집의의하적분류정리,대모호ω-정칙어언급출료일충분류방법.