User:CircuitCraft/Definition:Abstract Machine/Deterministic

Definition
Let $M = \struct {S, \vdash}$ be an abstract machine.

$M$ is deterministic $\vdash$ is many-to-one.