状態遷移系
これらの概念には様々な関係がある。単純な関係としては、ラベルの集合に1つしか要素が無いラベル付き状態遷移系は、ラベル無し状態遷移系と等価である。しかし、これらの関係は必ずしもそのような瑣末なものばかりではない。