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