状态机

将系统建模为一组具有状态转换的显式状态。

许多系统对刺激的反应不同，这取决于某些内部属性。有时，对这些不同的内部状态进行分类并描述响应的差异以及导致系统在这些状态之间移动的原因是有用的。状态机可用于描述和控制这种行为。

有关更多详细信息，请参见DSL 书籍的第 51 章。