但是清单7中的代码不简洁，用了更多代码来表达和清单6中三行代码等价的泛化算法。
But the code in Listing 7 is really ugly; it takes many more lines of code to express the generic algorithm equivalent of the three lines in Listing 6.
这种算法模型具有通用性，它表示的程序可以等价地变换为某种程序设计语言的程序文本，如FORTRAN或PASCAL程序。
A program expressed in the model has generality which can be equivalently transformed into a program, e. g., FORTRAN or PASCAL.
提出一种基于状态转换图的时序电路等价验证算法。
A sequential equivalence checking algorithm based on state transfer graph is presented.
应用推荐