状態遷移系
state transition system
;
transition system
双模倣性
（
Bisimulation
）
操作的意味論
（
Operational Semantics
）
Simulation preorder
Kripke structure
状態機械
、
ステートマシン
（
state machine
）
状態遷移系 - Wikipedia
Transition system - Wikipedia