That is, the same specification can be reused in multiple places within the state machine or some other state machines.

也就是说，在这个状态机或某些其它的状态机中，相同的规范可以在多处重复使用。

youdao

According to the WSXL specification, a state machine is an abstract visualization of interaction flows — that is, of the order of interactions that would take place from one point to another.

根据WSXL规范，一个状态机就是交互流的一个抽象可视化—也即交互从一个点发生，再转到另一个点的顺序的抽象可视化。

youdao

This, in turn, allows you to define the internal decomposition of that state separately by a discrete and reusable state machine specification.

反过来，你也可以通过一个离散的和可重复使用的状态机的规范来分别地定义上述的复合状态的内在分解。

youdao