您要查找的是不是：
- 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
