·2,447,543篇论文数据，部分数据来源于NoteExpress
In this paper, we research region automata, zone automata and the method of state space minimization based on history equivalence and bisimulation transition.
本文主要研究了域自动机方法、带自动机方法以及基于历史等价和转换互模拟的最小化方法。
youdao
应用推荐
模块上移
模块下移
不移动