状态转移图
基于1个网页-相关网页
state transfer graphs
以上为机器翻译结果，长、整句建议使用 人工翻译 。
If the state transfer graphs are isomorphism, all the states in different graphs can be matched as equal state pairs.
若两状态转换图同构，则两图中的状态均可一一配对为待验证状态对，即所有的代验证状态对均为等价状态对。
youdao
应用推荐
模块上移
模块下移
不移动