equivalence region zone
等效区
以上为机器翻译结果，长、整句建议使用 人工翻译 。
In this paper, we research region automata, zone automata and the method of state space minimization based on history equivalence and bisimulation transition.
本文主要研究了域自动机方法、带自动机方法以及基于历史等价和转换互模拟的最小化方法。
youdao
应用推荐
模块上移
模块下移
不移动