耐力 swMATH ID: 7653 软件作者: 克里莫维奇,A.S。;索洛夫,V.V。 描述: 通过合并两个状态来最小化摩尔有限状态机的方法。研究了摩尔有限状态机(FSM)的最小化问题。在设计基于可编程逻辑器件的数字器件时,经常会出现这个问题。该方法使用FSM的两个状态的合并操作以及FSM作为转换列表的表示。给出了通过合并两个状态获得的变换FSM的相同操作和确定性行为的保证条件。还讨论了等待状态出现的情况。描述了最小化Moore FSM内部状态数、过渡路径数和输入变量数的算法。实验结果表明,该方法将内部状态数减少了6个 主页: http://rd.springer.com/article/10.1134%2FS1064230711040113 相关软件: 引用于: 3文件 4位作者引用 3 维亚切斯拉夫·索洛夫·埃夫。 1 Grzes,T.N。 1 克里莫维奇,A.S。 1 Klimowicz,A.S。 连载1篇 3 国际计算机与系统科学杂志 在2个字段中引用 3 系统论;控制(93至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文