generated at
transition system
状態遷移系
Transition monoid
Transformation monoid
Semigroup action
Simulation preorder
Bisimulation
Operational semantics
Kripke structure
Finite-state machine
Modal μ-calculus
googletransition system
image transition system
define transition system
wikipedia transition system
weblio transition system
kotobank transition system
jisho transition system