Изменения

Если <tex>w \not\in L</tex>, то если мы зададим корректное стартовое состояние, то пути до корректного финишного состояния существовать не может.

}}