计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2014年
9期
2130-2136
,共7页
谢正卫%翟莹%黄飞丹%易忠%邓培民
謝正衛%翟瑩%黃飛丹%易忠%鄧培民
사정위%적형%황비단%역충%산배민
(Mealy-型)模糊有限状态机%交换%直积%级联积%圈积%和
(Mealy-型)模糊有限狀態機%交換%直積%級聯積%圈積%和
(Mealy-형)모호유한상태궤%교환%직적%급련적%권적%화
(Mealy-type) fuzzy finite state machines%commutativity%direct product%cascade product%wreath product%sum
利用代数工具矩阵、半群等对两类模糊有限状态机的交换性作了进一步的研究.首先给出了模糊有限状态机是可交换的几个等价刻画,即模糊有限状态机交换与其状态转移矩阵关于模糊矩阵乘法交换等价,与其输入集上字符串关于同余关系构成的乘法半群交换等价,并讨论了模糊有限状态机的直积、级联积、圈积以及和的交换性.其次提出了Mealy型模糊有限状态机是可交换的概念,同时在新的概念下详细地研究了Mealy型模糊有限状态机的直积、级联积、圈积以及和、商的交换性.得到了两个(Mealy-型)模糊有限状态机的完全直积、和交换的充要条件;得到两个(Mealy-型)模糊有限状态机的囤积、级联积交换的一个充分条件;证明了商Mealy-型模糊有限状态机保持原Mealy-型模糊有限状态机的交换性.最后给出判别模糊有限状态机交换性的算法.
利用代數工具矩陣、半群等對兩類模糊有限狀態機的交換性作瞭進一步的研究.首先給齣瞭模糊有限狀態機是可交換的幾箇等價刻畫,即模糊有限狀態機交換與其狀態轉移矩陣關于模糊矩陣乘法交換等價,與其輸入集上字符串關于同餘關繫構成的乘法半群交換等價,併討論瞭模糊有限狀態機的直積、級聯積、圈積以及和的交換性.其次提齣瞭Mealy型模糊有限狀態機是可交換的概唸,同時在新的概唸下詳細地研究瞭Mealy型模糊有限狀態機的直積、級聯積、圈積以及和、商的交換性.得到瞭兩箇(Mealy-型)模糊有限狀態機的完全直積、和交換的充要條件;得到兩箇(Mealy-型)模糊有限狀態機的囤積、級聯積交換的一箇充分條件;證明瞭商Mealy-型模糊有限狀態機保持原Mealy-型模糊有限狀態機的交換性.最後給齣判彆模糊有限狀態機交換性的算法.
이용대수공구구진、반군등대량류모호유한상태궤적교환성작료진일보적연구.수선급출료모호유한상태궤시가교환적궤개등개각화,즉모호유한상태궤교환여기상태전이구진관우모호구진승법교환등개,여기수입집상자부천관우동여관계구성적승법반군교환등개,병토론료모호유한상태궤적직적、급련적、권적이급화적교환성.기차제출료Mealy형모호유한상태궤시가교환적개념,동시재신적개념하상세지연구료Mealy형모호유한상태궤적직적、급련적、권적이급화、상적교환성.득도료량개(Mealy-형)모호유한상태궤적완전직적、화교환적충요조건;득도량개(Mealy-형)모호유한상태궤적돈적、급련적교환적일개충분조건;증명료상Mealy-형모호유한상태궤보지원Mealy-형모호유한상태궤적교환성.최후급출판별모호유한상태궤교환성적산법.
