User:CircuitCraft/Definition:Abstract Machine

Definition
An abstract machine is a $2$-tuple $\struct {S, \vdash}$ where:
 * $S$ is a set called the configurations.
 * ${\vdash} \subset S \times S$ is a relation from $S$ to itself, called the transition relation.