A State q′ is reachable if there is a path in the graph representation of a DFSA that starts at q and ends at q′