【摘要】：本文從兩個幺半群之間的同態(tài)出發(fā),構(gòu)造(n,S)-自動機之間的滿同態(tài),得到自動機的同余關系,進一步,在狀態(tài)集的商集上,重新構(gòu)造新的自動機(即所謂商自動機),并闡述了所構(gòu)造的自動機與滿同態(tài)所對應的自動機是同構(gòu)的.在此基礎上,引入(n,S)-自動機上的所謂的■和■關系,證明了這兩個關系是可交換的.
[Abstract]:Starting from the homomorphism between two monoid groups, we construct the full homomorphism between (nn S) and automata, and obtain the congruence relation of automata. Furthermore, on the quotient set of state sets, we reconstruct the new automata (called quotient automata). It is expounded that the automata constructed is isomorphic to the automaton corresponding to the full homomorphism. On this basis, it is proved that the two relations are commutative by introducing the so-called sum relation on (NLS) -automata.
【作者單位】： 空軍工程大學理學院;西安外國語大學經(jīng)濟金融學院;
【基金】：國家自然科學基金項目(61402364)
【分類號】：O152.7

【相似文獻】

相關期刊論文 前10條

1 郭瑞楓;;半自動機理論在(漢字)辭庫建造中的應用[J];南京大學學報(自然科學版);1984年03期

2 周清雷;朱維軍;趙東明;;時間ω-樹自動機識別語言的一個條件[J];信陽師范學院學報(自然科學版);2006年04期

3 閔蘭;劉益;;奇偶校驗自動機的邏輯形式描述[J];西南師范大學學報(自然科學版);2009年03期

4 閻航宇;易忠;鄧培民;;有限群自動機的若干環(huán)論與圖論性質(zhì)[J];廣西師范大學學報(自然科學版);2007年01期

5 劉春霞;;確定的與非確定的公式時鐘自動機的等價性[J];科技信息(科學教研);2008年17期

6 胡忠剛;孫小迎;覃湘藩;鄧培民;;樹自動機的同余與同態(tài)及其語言[J];高校應用數(shù)學學報A輯;2011年03期

7 文志英,文志雄;代換序列研究概況[J];數(shù)學進展;1989年03期

8 張麗;;一種非確定型有窮自動機的極小化方法[J];寧夏大學學報(自然科學版);2012年02期

9 別榮芳,沈恩紹;Z-自動機與分劃邏輯[J];數(shù)學學報;1998年01期

10 黃育潛;;樹語言、樹自動機和樹轉(zhuǎn)換器[J];江西師范大學學報(自然科學版);1984年01期

相關會議論文 前3條

1 西廣成;;抽象神經(jīng)自動機演化過程中熵極限性質(zhì)[A];1999年中國神經(jīng)網(wǎng)絡與信號處理學術(shù)會議論文集[C];1999年

2 蘇仕云;郭瑞強;樂嘉錦;;有窮狀態(tài)自動機在商業(yè)邏輯建模中的應用[A];第十九屆全國數(shù)據(jù)庫學術(shù)會議論文集（研究報告篇）[C];2002年

3 陽斌;秦琳琳;吳剛;;基于混雜自動機的溫室溫度系統(tǒng)建模與控制[A];中國自動化學會控制理論專業(yè)委員會D卷[C];2011年

相關博士學位論文 前10條

1 徐慧;自動機的代數(shù)表示和形式語言的研究[D];西北大學;2015年

2 田徑;關于自動機代數(shù)理論的研究[D];西北大學;2012年

3 劉光武;自動機狀態(tài)復雜度及模型研究[D];華中科技大學;2007年

4 文艷軍;基于接口自動機的組合驗證方法研究[D];國防科學技術(shù)大學;2005年

5 張薇;自動機和鏈編碼的理論研究與應用[D];華東師范大學;2006年

6 李丹美;模糊離散事件自動機組合的控制與切換[D];東華大學;2009年

7 陳文宇;形式語言與自動機理論若干問題研究[D];電子科技大學;2009年

8 韓召偉;幾類基于量子邏輯的自動機的代數(shù)及邏輯刻畫[D];陜西師范大學;2011年

9 沈潔;基于自動機的XML數(shù)據(jù)過濾研究[D];哈爾濱工程大學;2010年

10 巨志勇;基于動態(tài)系統(tǒng)計算的數(shù)字圖像處理[D];同濟大學;2007年

相關碩士學位論文 前10條

1 陳晴雷;量子自動機的乘積研究[D];四川師范大學;2012年

2 朱鏡儒;光伏電源三相混聯(lián)接入系統(tǒng)混成自動機控制研究[D];長沙理工大學;2014年

3 周戈;基于運行時驗證的監(jiān)控器生成技術(shù)研究[D];國防科學技術(shù)大學;2014年

4 宋俊;LTLNFBA:LTL公式到Büchi自動機的轉(zhuǎn)換[D];西安電子科技大學;2014年

5 趙庚兵;基于自動機理論的軟件項目進度監(jiān)控方法研究[D];廣東工業(yè)大學;2016年

6 李慧水;某新型重載高速自動機動力學分析[D];南京理工大學;2016年

7 凌駿;大規(guī)模RDF圖數(shù)據(jù)的屬性路徑查詢及推理研究[D];天津大學;2014年

8 王向飛;基于自動機理論的鋼鐵線材打包機控制軟件設計[D];浙江工業(yè)大學;2016年

9 張博;廣義可能線性時序邏輯的自動機方法[D];陜西師范大學;2016年

10 石文兵;基于自動機的交易系統(tǒng)設計研究[D];西北師范大學;2016年

，

本文編號：2357316