This paper describes a minimization algorithm for multiple output functions.
本文描述一个多输出逻辑函数的最小化算法。
A new dynamic heuristic binary decision diagram (BDD) minimization algorithm is proposed.
提出了一种新的动态启发式二叉判定图(BDD)最小化算法。
A constructive minimization algorithm of DFA easy to be implemented is presented based on the above discussion.
基于上述理论分析，给出了DF A最小化算法的一个容易实现的构造性描述及示例。
应用推荐