幺半群-矩阵型自动机的商自动机

发布时间：2018-11-25 20:40

【摘要】：本文从两个幺半群之间的同态出发,构造(n,S)-自动机之间的满同态,得到自动机的同余关系,进一步,在状态集的商集上,重新构造新的自动机(即所谓商自动机),并阐述了所构造的自动机与满同态所对应的自动机是同构的.在此基础上,引入(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.
【作者单位】： 空军工程大学理学院;西安外国语大学经济金融学院;
【基金】：国家自然科学基金项目(61402364)
【分类号】：O152.7

【相似文献】

相关期刊论文 前10条

1 郭瑞枫;;半自动机理论在(汉字)辞库建造中的应用[J];南京大学学报(自然科学版);1984年03期

2 周清雷;朱维军;赵东明;;时间ω-树自动机识别语言的一个条件[J];信阳师范学院学报(自然科学版);2006年04期

3 闵兰;刘益;;奇偶校验自动机的逻辑形式描述[J];西南师范大学学报(自然科学版);2009年03期

4 阎航宇;易忠;邓培民;;有限群自动机的若干环论与图论性质[J];广西师范大学学报(自然科学版);2007年01期

5 刘春霞;;确定的与非确定的公式时钟自动机的等价性[J];科技信息(科学教研);2008年17期

6 胡忠刚;孙小迎;覃湘藩;邓培民;;树自动机的同余与同态及其语言[J];高校应用数学学报A辑;2011年03期

7 文志英,文志雄;代换序列研究概况[J];数学进展;1989年03期

8 张丽;;一种非确定型有穷自动机的极小化方法[J];宁夏大学学报(自然科学版);2012年02期

9 别荣芳,沈恩绍;Z-自动机与分划逻辑[J];数学学报;1998年01期

10 黄育潜;;树语言、树自动机和树转换器[J];江西师范大学学报(自然科学版);1984年01期

相关会议论文 前3条

1 西广成;;抽象神经自动机演化过程中熵极限性质[A];1999年中国神经网络与信号处理学术会议论文集[C];1999年

2 苏仕云;郭瑞强;乐嘉锦;;有穷状态自动机在商业逻辑建模中的应用[A];第十九届全国数据库学术会议论文集（研究报告篇）[C];2002年

3 阳斌;秦琳琳;吴刚;;基于混杂自动机的温室温度系统建模与控制[A];中国自动化学会控制理论专业委员会D卷[C];2011年

相关博士学位论文 前10条

1 徐慧;自动机的代数表示和形式语言的研究[D];西北大学;2015年

2 田径;关于自动机代数理论的研究[D];西北大学;2012年

3 刘光武;自动机状态复杂度及模型研究[D];华中科技大学;2007年

4 文艳军;基于接口自动机的组合验证方法研究[D];国防科学技术大学;2005年

5 张薇;自动机和链编码的理论研究与应用[D];华东师范大学;2006年

6 李丹美;模糊离散事件自动机组合的控制与切换[D];东华大学;2009年

7 陈文宇;形式语言与自动机理论若干问题研究[D];电子科技大学;2009年

8 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年

9 沈洁;基于自动机的XML数据过滤研究[D];哈尔滨工程大学;2010年

10 巨志勇;基于动态系统计算的数字图像处理[D];同济大学;2007年

相关硕士学位论文 前10条

1 陈晴雷;量子自动机的乘积研究[D];四川师范大学;2012年

2 朱镜儒;光伏电源三相混联接入系统混成自动机控制研究[D];长沙理工大学;2014年

3 周戈;基于运行时验证的监控器生成技术研究[D];国防科学技术大学;2014年

4 宋俊;LTLNFBA:LTL公式到Büchi自动机的转换[D];西安电子科技大学;2014年

5 赵庚兵;基于自动机理论的软件项目进度监控方法研究[D];广东工业大学;2016年

6 李慧水;某新型重载高速自动机动力学分析[D];南京理工大学;2016年

7 凌骏;大规模RDF图数据的属性路径查询及推理研究[D];天津大学;2014年

8 王向飞;基于自动机理论的钢铁线材打包机控制软件设计[D];浙江工业大学;2016年

9 张博;广义可能线性时序逻辑的自动机方法[D];陕西师范大学;2016年

10 石文兵;基于自动机的交易系统设计研究[D];西北师范大学;2016年

，

本文编号：2357316