 | 此條目沒有列出任何參考或來源。 (2018年9月19日) 維基百科所有的內容都應該可供查證。請協助補充可靠來源以改善這篇條目。無法查證的內容可能會因為異議提出而被移除。 |
在計算機科學和控制理論中，「變遷系統」用數學的方法描述離散系統的行為。變遷系統主要由「狀態」和狀態之間的「狀態遷移」組成。 有標號的變遷系統可以從已定義的標籤集合中選擇相應標籤來標記狀態遷移，而且相同的標籤可能被應用在多個狀態遷移上。 變遷系統也可以是無標記的，此時也可以認為標籤集合中只有單一標籤元素，從而省略了狀態遷移上的標籤記號。
變遷系統在數學定義上和有向圖一致，但與有限狀態自動機有一定不同。
變遷系統的特點有：
|
