Graphs are one of the basic data structures of computer science. Here, we learn how to represent a graph and how to compute the set of states that are reachable from a given initial state.