首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到16条相似文献,搜索用时 538 毫秒
1.
有穷自动机的化简是一个十分重要的问题,在等价的前提下,自动机的状态越少,意味着越节省软件和硬件资源。本文根据等价性原理,在等价类等概念的基础上,给出了确定型有穷自动机的最小化算法,并给出了该算法的程序实现。  相似文献   

2.
通过证明正规文法和有限自动机之间的等价性定理,给出正规文法和有限自动机之间的等价构造方法.  相似文献   

3.
有穷自动机的等价转化,主要包括不确定有穷自动机(NFA)的确定化,确定有穷自动机(DFA)的最小化。着重探讨了这两个算法中的一种常用的重要工具——状态转换矩阵,以及用状态转换矩阵解决几类特殊问题的方法。  相似文献   

4.
张丽 《铜仁学院学报》2011,13(3):129-131
通过给定的单模式构造出相应的模式匹配自动机,集成单模式匹配自动机而得到多模式非确定型有穷自动机(NFA)。将非确定型自动机转化为确定型自动机,在状态集上引入等价关系,对该确定型有穷自动机进行极小化,得到与原自动机功能等价的极小化自动机,从而使之能确定其中任意一个模式的所有匹配位置。  相似文献   

5.
引入了模糊袋自动机和模糊袋语言的概念,给出了模糊袋自动机的状态转换图,讨论了模糊袋语言重复序列在状态转换图的结构特征,给出了Chomsky文法模糊语言与模糊袋语言的关系.指出了模糊正规语言类、模糊袋语言类、模糊上下文有关语言类之间的包含关系,及模糊袋语言类与模糊上下文无关语言类交叉关系.  相似文献   

6.
模糊自动机是关于在给定输入下信息程序装置的数学模型。在本文中,模糊自动机被视为识别模糊语言的装置,有时也作为翻译模糊语言的装置。和模糊语言族φ(2)的种类相应的模糊自动机的种类被讨论。  相似文献   

7.
本文讨论了置换与排列之间的区别与联系,给出了行列式定义的两种等价描述,并使用它来简化行列式性质的证明。  相似文献   

8.
模糊随机约束的清晰等价形式   总被引:1,自引:0,他引:1  
模糊随机变量是模糊随机现象的一种数学描述,推广了模糊约束的等价形式,找到了一个关于模糊随机约束的清晰等价形式.  相似文献   

9.
提出了一种基于整数加群的模糊自动机的数学模型,研究了它的一些基本性质,并将对策论中多人博弈模型转化为模糊自动机模型,给出了一种求最优解的算法,最后用田忌和齐王赛马的例子验证了此算法.  相似文献   

10.
有限自动机的等价性与路代数   总被引:2,自引:0,他引:2  
定义了有限自动机路代数的一个右理想,用以判断有限自动机状态的等价性及判断两个有限自动机之间的等价性, 进而讨论循环有限自动机的等价性.  相似文献   

11.
首先介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的特点是输入和输出分别由输入和输出字母表中的Fuzzy子集串替代;其次给出了该种自动机的不同状态下的等价关系,并通过数学归纳法进行了证明,使得词计算在Fuzzy自动机中的应用能够得到了进一步的推广.  相似文献   

12.
主要讨论了基于矩阵模型表示的线性有限自动机的弱可逆性,利用矩阵模型得出了线性有限自动机延迟有限步弱可逆的充分必要条件,并且给出了线性有限自动机是否具有弱可逆的算法。  相似文献   

13.
模糊上下文无关文法是几种重要文法之一.讨论了模糊上下文文法的判定定理.这为进一步讨论模糊上下文无关文法与模糊下推自动机奠定了基础.  相似文献   

14.
模糊控制算法应用在控制领域中始于上个世纪中期,经历了40余年发展,其理论算法越来越成熟,并且广泛应用于各个领域.模糊控制的优点是采用语言控制规则,设计控制策略易于接受,缺点是控制量较多时的语言控制规则过多难以实现.针对语言控制规则过多问题,通过最优算法把控制量简化成系统偏差及其变化率,使语言控制规则简化.采用倒立摆系统作为被控对象,通过系统的实时控制波形,验证算法的可行性.  相似文献   

15.
在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,给出了判定输入序列是否是极小线性有限自动机的最短初态试验序列的新算法。  相似文献   

16.
提出了取值于非负实数R~ 的模糊自动机的概念,研究了它的一些简单性质,并将此类自动机应用到动态规划的求解最短路线问题中,得到了一个求最短路线的算法.最后通过一个例子验证了给出的算法.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号