變遷系統

在計算機科學和控制理論中，「變遷系統」用數學的方法描述離散系統的行為。變遷系統主要由「狀態」和狀態之間的「狀態遷移」組成。 有標號的變遷系統可以從已定義的標籤集合中選擇相應標籤來標記狀態遷移，而且相同的標籤可能被應用在多個狀態遷移上。 變遷系統也可以是無標記的，此時也可以認為標籤集合中只有單一標籤元素，從而省略了狀態遷移上的標籤記號。

變遷系統在數學定義上和有向圖一致，但與有限狀態自動機有一定不同。

變遷系統的特點有：

• 系統狀態的集合不一定是有限的或可數的；
• 狀態遷移的集合不一定是有限的或可數的；
• 變遷系統並不需要給出「開始」狀態或「最終」狀態；
• 變遷系統可以表示為有向圖，有限狀態自動機則不能。

相關條目

• 操作語義學
• Kripke結構
• 有限狀態機

參考資料