Description: State j is said to be accessible from state i if Pijn>0 for some n≥0 for any number of steps, state j is reachable from state i