set of all states reachable from the initial state by any sequence of actions
set of all states reachable from the initial state by any sequence of actions
a directed network or graph where nodes contain states and the edges are actions.