reachable state достижимое состояние