×

耐力

swMATH ID: 7653
软件作者: 克里莫维奇,A.S。;索洛夫,V.V。
描述: 通过合并两个状态来最小化摩尔有限状态机的方法。研究了摩尔有限状态机(FSM)的最小化问题。在设计基于可编程逻辑器件的数字器件时,经常会出现这个问题。该方法使用FSM的两个状态的合并操作以及FSM作为转换列表的表示。给出了通过合并两个状态获得的变换FSM的相同操作和确定性行为的保证条件。还讨论了等待状态出现的情况。描述了最小化Moore FSM内部状态数、过渡路径数和输入变量数的算法。实验结果表明,该方法将内部状态数减少了6个
主页: http://rd.springer.com/article/10.1134%2FS1064230711040113
相关软件:
引用于: 3文件

按年份列出的引文