state transition system ; transition system

双模倣性（Bisimulation）

操作的意味論（Operational Semantics）

Simulation preorder

Kripke structure

状態機械、ステートマシン（state machine）