State (computer science)
= State
{disambiguate=computer science}
{wiki}
= State
{synonym}
A configuration of a system at one moment. In a <transition system>, a <state> is an element of its <state space> $S$, and a <transition relation> specifies permitted changes of <state>.