state transition system
Sign in to saveabstract machine used in the study of computation
Connections
finite-state machine
Entity
International Standard Book Number
Entity
bijection
Entity
power set
Entity
theoretical computer science
Entity
binary relation
Entity
directed graph
Entity
singleton
Entity
model checking
Entity
operational semantics
Entity
state
Entity
Kripke structure
Entity
action language
Entity
discrete system
Entity
ternary relation
Entity
bisimulation
Entity
Transformation semigroup
Entity
abstract rewriting system
Entity
Christel Baier
Entity
F-coalgebra
Entity