状態遷移系
状態遷移系(じょうたいせんいけい、State Transition System)とは、理論計算機科学での計算の研究に使用される抽象機械の一種。状態遷移系は状態群と状態間の遷移から構成される。
状態と遷移が有限個の状態遷移系は有向グラフで表すことができる。
また、状態遷移系は「ラベル付き」と「ラベル無し」の2種類に分類することができる。