收藏本站
《四川师范大学》 2012年
收藏 | 手机打开
二维码
手机客户端打开本文

两类格值有限自动机的性质及其最小化问题

张坤  
【摘要】:自动机的最小化问题一直是自动机理论中比较重要和核心的问题之一,本文主要讨论了两类自动机的性质和最小化问题。一类是格值Moore型有限自动机,另一类是基于模糊点的格值有限自动机。全文分三章,主要内容如下: 第一章主要介绍了有关模糊集合的理论基础知识和格半群的性质及格半群上的同余关系和同态关系。 第二章通过定义格值Moore型有限自动机,讨论了它的格值转移函数和格值输出函数的性质,通过定义格值Moore型有限自动机的状态弱等价,得到了基于状态弱等价的最小化算法并给出了实例验证。 第三章我们首次提出了基于模糊点的格值有限自动机,通过定义基于模糊点的格值有限自动机,主要研究了它的代数性质,它和经典的格值有限自动机的关系,通过定义基于模糊点的格值有限自动机上的同余关系,得到了将其约简并与原自动机等价的最小化方法。
【学位授予单位】:四川师范大学
【学位级别】:硕士
【学位授予年份】:2012
【分类号】:TP301.1

【参考文献】
中国期刊全文数据库 前10条
1 李翰芳;罗幼喜;;确定型有穷自动机状态极小化的研究[J];湖北工业大学学报;2009年04期
2 雷红轩;;格值有限状态自动机的同态和商自动机[J];计算机工程与应用;2010年27期
3 李苏妮;李天朝;李永明;;加权Moore机的同余与最小化[J];计算机工程与科学;2010年09期
4 韩召伟;李永明;;格值Mealy自动机的同余和同态[J];模糊系统与数学;2007年02期
5 汪洋;莫智文;;基于模糊字符串的Mealy格值有限自动机及其最小化[J];模糊系统与数学;2009年03期
6 李斌;舒兰;邱东;;格值Moore机的最小化[J];模糊系统与数学;2010年02期
7 覃湘藩;胡忠刚;邓培民;;模糊树自动机的同余与同态[J];模糊系统与数学;2010年04期
8 陈乾;涂道兴;莫智文;;模糊有限自动机的乘积覆盖性[J];模糊系统与数学;2011年02期
9 李煜;邓培民;;有限模糊树自动机的一些代数性质与相应的语言[J];模糊系统与数学;2011年06期
10 汪洋;杨琼;;Mizumoto格值有限自动机及其最小化[J];计算机科学与探索;2009年04期
中国博士学位论文全文数据库 前1条
1 莫智文;Fuzzy有限态自动机的最小化及其在心电图(ECG)识别中的应用[D];西南交通大学;2005年
【共引文献】
中国期刊全文数据库 前10条
1 李鸿;;基于粒集的概念粒系统[J];安徽大学学报(自然科学版);2009年06期
2 周军;完全格的一个等价条件[J];东北师大学报(自然科学版);1995年03期
3 杨萌;张琼瑶;苏姣;赵苗;李嵩嵩;;基于超级自动机的语言识别及逻辑推理[J];电脑知识与技术;2009年24期
4 张国勇;;关于广义分配伪格[J];福州大学学报(自然科学版);2010年06期
5 杨志辉,刘龙章;L-Fuzzy子格群的同态[J];大学数学;2005年05期
6 冯文俊;易忠;邓培民;;状态机和变换半群积的覆盖关系[J];广西师范大学学报(自然科学版);2007年01期
7 文杰;;确定型有穷状态自动机的同态压缩[J];广西师范学院学报(自然科学版);2010年04期
8 刘军;孙淑芹;欧晓华;;基于模糊乘积有限自动机的覆盖关系[J];高校应用数学学报A辑;2011年02期
9 刘蔚萍,贾武;布尔元在软代数中的应用[J];湖北工学院学报;1997年04期
10 刘蔚萍,贾武;析取分配格等价刻划及性质[J];湖北工学院学报;1998年01期
中国博士学位论文全文数据库 前10条
1 李平;伪半环及其在自动机理论中的应用[D];陕西师范大学;2010年
2 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年
3 曾颖;基于抽象解释的软件保护相关问题研究[D];解放军信息工程大学;2011年
4 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年
5 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
6 秦昆;基于形式概念分析的图像数据挖掘研究[D];武汉大学;2004年
7 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
8 王淑栋;四类DNA计算模型中一些理论与应用的研究[D];华中科技大学;2004年
9 陈树伟;基于格蕴涵代数的格值一阶逻辑L_(vfl)中的不确定性推理研究[D];西南交通大学;2006年
10 向馗;复杂系统的模式发现[D];浙江大学;2006年
中国硕士学位论文全文数据库 前10条
1 周丽娜;ARM反编译中的类型分析技术研究[D];解放军信息工程大学;2010年
2 张一弛;基于反编译的恶意代码检测关键技术研究与实现[D];解放军信息工程大学;2009年
3 吴克生;区间形式背景分析[D];西北大学;2011年
4 李苏妮;加权Moore机的同余与格值Moore机的约化[D];陕西师范大学;2011年
5 张丽;P-集合及其应用特性研究[D];山东大学;2011年
6 李煜;有限模糊树自动机的代数性质与树语言[D];广西师范大学;2011年
7 高菲;半群超结构理论的若干研究[D];五邑大学;2011年
8 于洁;格化拓扑与概念格[D];郑州大学;2012年
9 卢林;树上随机场的若干极限性质[D];河北工业大学;2002年
10 程伟;模糊有限自动机的分类及其状态最小化算法研究[D];四川师范大学;2002年
【二级参考文献】
中国期刊全文数据库 前10条
1 陈乾;赵春兰;莫智文;;基于模糊有限自动机的双模糊拓扑性质[J];工程数学学报;2009年01期
2 戚国正,康家成,杨崇耀;关于概率自动机的等价性与极小化问题[J];贵州科学;1994年01期
3 黄志强,苏颖;有限自动机在自动控制软件设计中的应用[J];华北电力大学学报;2002年01期
4 李翰芳;许道云;;非确定型有穷自动机的极小化[J];吉林大学学报(理学版);2007年04期
5 朱征宇,朱庆生;状态自动机矩阵模型的代数性质[J];计算机工程与应用;2003年04期
6 雷红轩;李永明;;同步格值自动机的约简和最小化算法[J];计算机工程与应用;2006年16期
7 雷红轩;盛莉;;格值有限自动机等价判定算法[J];计算机工程与应用;2006年22期
8 朱征宇;朱庆生;;有限自动机研究的矩阵模型方法[J];计算机科学;2001年04期
9 张志斌;郭莉;方滨兴;陈小军;;一种基于自动机分解的网络协议并行处理策略[J];计算机学报;2006年08期
10 柏明强;莫智文;;Fuzzy正规集合与Fuzzy右线性文法的关系[J];模式识别与人工智能;2000年03期
【相似文献】
中国期刊全文数据库 前10条
1 鲍丰;关于弱可逆有限自动机延迟步数分解的两个结果[J];计算机学报;1993年08期
2 袁永升;兰亚坤;;有限自动机的逻辑流程图分析法[J];东北师大学报(自然科学版);1993年03期
3 王海峰,吕永波,张仲义;一种系统安全性的形式化验证方法[J];计算机工程与应用;2003年04期
4 王恺,靳简明,王庆人;西文OCR后处理中的有限自动机模型[J];计算机工程与应用;2004年23期
5 周德玉;有限自动机的变换半群和它识别的信息[J];重庆大学学报(自然科学版);1989年01期
6 吴浩敏,陈偕雄;有限自动机〈X,S,Z,F,G〉的一种MSI实现方法[J];浙江大学学报(理学版);1989年02期
7 彭召意,许中华,蒋伟进,杨伟丰;一种基于有限自动机的多线程软件设计方法[J];福建电脑;2004年04期
8 文敦伟,蔡自兴;空调系统多工况智能控制[J];计算技术与自动化;1997年03期
9 朱云飞,张衡,罗铸楷;有限自动机的线性化[J];湘潭大学自然科学学报;1999年01期
10 周晔,黄永忠,郭金庚;类信息的提取技术及应用[J];计算机应用研究;2001年09期
中国重要会议论文全文数据库 前10条
1 黎中文;张来顺;肖健鹏;;改进的UIO序列生成算法[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
2 闫继钢;武文忠;李汉文;蒙应杰;是垚;赵雅纳;;基于有限自动机的列车交接系统研究[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
3 区汝就;;有限自动机在数字逻辑电路设计中的应用[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
4 胡红莉;莫智文;;最小化基于合成模糊变换的模糊自动机[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年
5 文静华;李祥;;安全开放系统的Petri网模型[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
6 唐超;刘辰;杨正球;;使用多层迭代分析和分类网页文档的方法[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
7 陶惠良;杨正球;;基于Struts+Spring的易维护软件流程设计与实现[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
8 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
9 董聪;;随机DEDS的模型体系与算法结构(Ⅰ)[A];1998中国控制与决策学术年会论文集[C];1998年
10 蒋志明;丁利华;;离散事件动态系统的代数特征[A];1994中国控制与决策学术年会论文集[C];1994年
中国重要报纸全文数据库 前10条
1 崔怀斌 江致礼 靳国立;恪尽职守确保“两会”安全[N];人民武警;2003年
2 周慧敏 骆丹君;富润集团“非典”时期非常对策[N];中国企业报;2003年
3 樊晓晋;神一聚力凝神保“两节”发电[N];华北电力报;2004年
4 王宁(作者系中山大学社会学系消费者研究工作室教授、博导,英国谢菲尔德大学博士);消费值标准提高改变消费行为[N];南方日报;2004年
5 祁晓玲;帕拉丁上市 打造中国SUV第一品牌[N];中国工业报;2003年
6 马文宽 余庆锋;棉花期价走高凸显供需矛盾[N];国际商报;2005年
7 王志洪;重庆南川区民政干部深入一线救灾[N];中国社会报;2008年
8 广州本田执行副总经理/曾庆洪;核心竞争力来自于企业配置资源的能力[N];中国工业报;2003年
9 仲其宽;省工商公布六大纪律[N];江苏经济报;2003年
10 记者 刘茜;进一步加强学校安全工作[N];光明日报;2004年
中国博士学位论文全文数据库 前10条
1 王鸿吉;可逆有限自动机的结构与分解[D];中国科学院研究生院(软件研究所);2005年
2 张征;分子下推自动机理论及应用研究[D];华中科技大学;2007年
3 潘海玉;状态转换系统的格值量化验证方法研究[D];华东师范大学;2012年
4 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
5 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
6 莫智文;Fuzzy有限态自动机的最小化及其在心电图(ECG)识别中的应用[D];西南交通大学;2005年
7 孙玉强;并行语法分析中几类算法的设计与研究[D];西安电子科技大学;2008年
8 刘贞;基于市场交易的电能与环境协调激励电价机制设计[D];重庆大学;2008年
9 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
10 张杰;格值Smooth拓扑分子格范畴与L-拓扑空间中若干问题的研究[D];首都师范大学;2002年
中国硕士学位论文全文数据库 前10条
1 张坤;两类格值有限自动机的性质及其最小化问题[D];四川师范大学;2012年
2 翁福利;直觉模糊有限自动机及其乘积研究[D];电子科技大学;2012年
3 刘跃霞;语言半环上的有限自动机的推广[D];太原科技大学;2010年
4 林添荣;量子有限自动机等价性判定研究[D];福建师范大学;2011年
5 王林;基于有限自动机的机器博弈系统建模与搜索算法的研究[D];东北大学;2009年
6 文毅玲;有限自动机的化合与等价于(输入)存贮线性有限自动机问题[D];广西师范大学;2004年
7 冯娜;模糊有限自动机与基于量子逻辑的自动机的一些拓扑性质[D];四川师范大学;2012年
8 任宏宇;基于有限自动机的软件行为模型评价方法研究[D];北京理工大学;2011年
9 杨静;几类自动机的性质探讨[D];四川师范大学;2010年
10 陈霄凯;有限自动机(FA)在测控程序自动生成中的应用研究[D];华北电力大学(河北);2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026