set of all reachable states after any number of transitions
set of all reachable states after any number of transitions
the configuration of the possible states and how they connect to each other, the legal moves between states.