导读:本文包含了状态最小化算法论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:自动机,最小化,状态,模糊,矩阵,算法,论文。
状态最小化算法论文文献综述
范书义,孟晨,王成[1](2012)在《一种新的DFA状态最小化算法》一文中研究指出提出了一种基于状态转换矩阵的适合计算机实现的DFA状态最小化算法,在计算等价状态过程中,通过记录扫描过程中发现的具有相同输入字符和相同转换状态的状态判定链表,算法可以用一遍扫描和与传统算法相近的存储空间实现DFA状态的最小化。与传统的DFA状态最小化算法相比,该算法具有较好的时间复杂度和相同的空间复杂度。(本文来源于《计算机工程与应用》期刊2012年01期)
刘益[2](2010)在《DFA最小化算法中状态等价判断方法》一文中研究指出对使用"分割法"最小化DFA中出现的当一个状态没有相应的产生式存在时如何进行分割,提出了正确使用"分割法"最小化DFA关键是需要正确判断DFA中各个状态之间的等价关系,并对当一个状态没有相应的产生式存在时如何判断等价进行了分析.(本文来源于《宜宾学院学报》期刊2010年06期)
宿云[3](2005)在《确定有穷状态自动机最小化算法的叁点说明》一文中研究指出确定有穷状态自动机最小化可提高词法分析程序的效率。本文简述了最小化的概念、算法,从基本概念出发分析了该算法初始分划如何构造,及在状态无后继和全部由终止状态构成时这两种特殊情况下的解决对策,并对原算法做了进一步的细化。(本文来源于《甘肃科技纵横》期刊2005年06期)
程伟[4](2002)在《模糊有限自动机的分类及其状态最小化算法研究》一文中研究指出本文研究了模糊有限自动机的分类和模糊有限自动机的状态最小化算法。在第一章中,模糊有限自动机被划分为两种基本类型:一种是有初始状态,没有任何输出的一类模糊有限自动机;另一种是有输出,没有初始状态的一类模糊有限自动机。根据这种分类方法,一些重要的模糊有限自动机类型被重新分类。同时,在新分类中,在同一类型中的各种原模糊有限自动机类型之间的等价或从属关系被证明和获得。在第二章中,对应于经典Mealy型有限状态自动机的一类模糊有限状态自动机-新Mealy型模糊有限状态自动机被建立。两类状态等价关系被引进,进而定义了该Mealy型模糊有限状态自动机的最小化形式,最后得到了该Mealy型模糊有限状态自动机的一种状态最小化约简的算法。在第叁章中,我们首先介绍了一类有模糊初始状态的模糊有限自动机-Mizumoto型模糊有限自动机,然后定义了两种状态等价和两种模糊有限自动机等价的概念,接着证明了对于每一个Mizumoto型模糊有限自动机,都存在一个与之等价的状态最小化模糊有限自动机,并且给出了一个状态最小化约简算法及其算法终止条件。在第四章中,首先了介绍量子自动机的概念,然后着重比较量子自动机与一种模糊有限自动机(即Mizumoto型模糊有限自动机)之间的异同点,得到了量子自动机与模糊有限自动机关系的一些初步想法。给出了一些开问题。(本文来源于《四川师范大学》期刊2002-04-15)
状态最小化算法论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
对使用"分割法"最小化DFA中出现的当一个状态没有相应的产生式存在时如何进行分割,提出了正确使用"分割法"最小化DFA关键是需要正确判断DFA中各个状态之间的等价关系,并对当一个状态没有相应的产生式存在时如何判断等价进行了分析.
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
状态最小化算法论文参考文献
[1].范书义,孟晨,王成.一种新的DFA状态最小化算法[J].计算机工程与应用.2012
[2].刘益.DFA最小化算法中状态等价判断方法[J].宜宾学院学报.2010
[3].宿云.确定有穷状态自动机最小化算法的叁点说明[J].甘肃科技纵横.2005
[4].程伟.模糊有限自动机的分类及其状态最小化算法研究[D].四川师范大学.2002