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

It covers data flow diagrams and several formal specification techniques, such as relational notations, state notations, regular expressions, and so on.

它覆盖了数据流图和一些正式的规范技术，如关系记号，状态记号，规则表示法等等。

youdao