• Q – the set of states with states q, q'. ∈ Q