您要查找的是不是：
- UML状态机 UML state machine
- 实时UML状态机 real-time UML State machine
- 状态 mode
- UML状态机的模型检验方法 Model Checking of UML State Machines
- 面向模型检验的UML状态机语义 An Operational Semantics for UML State Machines in Model Checking Context
- UML状态图 UML statechart
- 状态机 state machine
- 扩展UML状态图 extended UML statechart
- 有限状态机 finite state machine
- 状态机类 machine class
- II状态机 state machine
- Z39.50协议模型的有限状态机描述及面向对象的实现框架 Modelling Z39.50 Protocol with DFA andBuilding an Object-Oriented Frame for Implementation
- 异步状态机 asynchronous state machine
- 有穷状态机 [计] finite-state machine
- 组合状态机 combined state machine
- 组件状态机 component state machine
- 确定状态机 deterministic finite automata
- 抽象状态机 abstract state machine
- Mealy状态机 Mealy state machine
- 高速状态机 high-speed FSM
