若两状态转换图同构，则两图中的状态均可一一配对为待验证状态对，即所有的代验证状态对均为等价状态对。
If the state transfer graphs are isomorphism, all the states in different graphs can be matched as equal state pairs.
以二阶张量为损伤变量，推导了依赖于损伤变量的弹性模量表达式，利用一个等价状态，建立损伤岩体的本构关系。
Then the expression of damage-dependent elasticity tensor is deduced and the constitutive equations of damaged rock are built by using an equivalent state.
逻辑上，每个规则表达式都等价于一个状态机，而每个规则表达式的语法分析器都实现这个状态机。
Every regular expression is logically equivalent to a state machine, and the parser of every regular expression implements a state machine.
应用推荐