A state of essential equality or equivalence.
基本平等或均等的状态。
A sequential equivalence checking algorithm based on state transfer graph is presented.
提出一种基于状态转换图的时序电路等价验证算法。
This paper firstly introduces the classification of incremental clustering algorithms and the research state, defines the concept of algorithm equivalence.
本文首先介绍了增量聚类算法的分类以及研究现状，提出了增量聚类算法等价性概念；
In this paper, we research region automata, zone automata and the method of state space minimization based on history equivalence and bisimulation transition.
本文主要研究了域自动机方法、带自动机方法以及基于历史等价和转换互模拟的最小化方法。
The equivalence of acceptance words by PDLA with final state and with empty stack is proved.
下推格值自动机以终态与以空栈两种接受词语言的方式是等价的。
The equivalence of acceptance words by PDLA with final state and with empty stack is proved.
下推格值自动机以终态与以空栈两种接受词语言的方式是等价的。
应用推荐