共查询到17条相似文献,搜索用时 109 毫秒
1.
2.
有穷自动机的化简是一个十分重要的问题,在等价的前提下,自动机的状态越少,意味着越节省软件和硬件资源。本文根据等价性原理,在等价类等概念的基础上,给出了确定型有穷自动机的最小化算法,并给出了该算法的程序实现。 相似文献
3.
郑兆岳 《淮南师范学院学报》2012,14(3):8-11
给出经典双向有穷自动机的即时描述,接受(识别)的语言及双向有穷自动机和有穷自动机是等价的,证明它接受的语言是正则语言。由此,把它推广到模糊上去,相应地给出了双向模糊有穷自动机的定义,即时描述及其接受的语言,进一步证明非确定性双向模糊有穷自动机与确定双向模糊有穷自动机接受的语言是等价的。 相似文献
4.
当构造词法分析器时,根据单词的正规式定义首先构造与正规式等价的NFA,之后用子集法将NFA转换成DFA,并用此DFA进行词法分析。对词法分析器生成器的设计算法进行了研究,即构造等价于给定正规式非确定有限自动机,并用一种高级语言(C语言)在计算机上实现。 相似文献
5.
刘斯凡 《河南师范大学学报(哲学社会科学版)》2009,36(3):116-119
不真正不作为犯的等价性理论在提出根据上存在缺陷。和作为共用一个法律条文,并不意味着要等价。解决不真正不作为犯与明确性原则相冲突的问题,非等价性理论力所能及。在内容上,从主观方面判断等价性只具有学说史价值;在客观说中,原因设定理论无法正确界定不作为的成立范围,同等的危险说不能形成等价的标准,综合判断理论混淆了等价性和可罚性,排他的法益支配说的错误与同等的危险说类似;主客观综合判断说并没有脱离客观说的窠臼。在具体的案例中,不论是罪与非罪还是此罪和彼罪的判断,等价性均无用武之地。 相似文献
6.
杨楠 《黔南民族师范学院学报》2008,28(3):35-38
主要讨论了基于矩阵模型表示的线性有限自动机的弱可逆性,利用矩阵模型得出了线性有限自动机延迟有限步弱可逆的充分必要条件,并且给出了线性有限自动机是否具有弱可逆的算法。 相似文献
7.
通过给定的单模式构造出相应的模式匹配自动机,集成单模式匹配自动机而得到多模式非确定型有穷自动机(NFA)。将非确定型自动机转化为确定型自动机,在状态集上引入等价关系,对该确定型有穷自动机进行极小化,得到与原自动机功能等价的极小化自动机,从而使之能确定其中任意一个模式的所有匹配位置。 相似文献
8.
9.
有穷自动机的等价转化,主要包括不确定有穷自动机(NFA)的确定化,确定有穷自动机(DFA)的最小化。着重探讨了这两个算法中的一种常用的重要工具——状态转换矩阵,以及用状态转换矩阵解决几类特殊问题的方法。 相似文献
10.
11.
该文在文献[1,2]给出的有限自动机矩阵模型表示方法等基本理论基础上,对基于矩阵模型表示的有限自动机极小化方法进行深入分析,提出了对其进行并行处理的方法,以实例详细描述了算法并行处理过程,并验证其算法的可行性. 相似文献
12.
在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,给出了判定输入序列是否是极小线性有限自动机的最短初态试验序列的新算法。 相似文献
13.
提出了格值有限自动的概念,详细地研究了它的性质和它的同态性,揭示了此类自动机和取值格为格半群的代数性质的紧密联系,得到了许多重要结果. 相似文献
14.
张诗静 《内江师范学院学报》2009,24(4):32-34
首先介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的特点是输入和输出分别由输入和输出字母表中的Fuzzy子集串替代;其次给出了该种自动机的不同状态下的等价关系,并通过数学归纳法进行了证明,使得词计算在Fuzzy自动机中的应用能够得到了进一步的推广. 相似文献
15.
本文主要利用矩阵模型对两个有限自动机的限制直积进行讨论,在此基础上对限制直积的状态映射矩阵和输出映射矩阵进行了研究,并给出了它们的一些性质. 相似文献
16.
17.
提出了一种基于整数加群的模糊自动机的数学模型,研究了它的一些基本性质,并将对策论中多人博弈模型转化为模糊自动机模型,给出了一种求最优解的算法,最后用田忌和齐王赛马的例子验证了此算法. 相似文献