Description:

  • State is said to be accessible from state if for some
    • for any number of steps, state is reachable from state