Transition System

A transition system is specified by:

• a set $\text{Config}$ of configurations or states
• a binary relation $\to \subseteq \text{Config}\times \text{Config}$ called a transition relation we use the notation $c\to c^{\prime }$ (infix) to indicate that $c$, $c^{\prime }$ are related by $\to$