狀態機

將系統建模為一組明確的狀態，並在狀態之間進行轉換。

許多系統對刺激的反應不同，這取決於某些內部屬性。有時，對這些不同的內部狀態進行分類，並描述反應的差異以及導致系統在這些狀態之間移動的原因，會很有用。狀態機可用於描述和控制此行為。

更多詳細資訊，請參閱 DSL 書籍的第 51 章