reachable state

Мат. достижимое состояние