Место называется безопасным, если для всякой достижимой разметки выполняется:
(Отметьте один правильный вариант ответа.)
Варианты ответа
M(p)<1(Верный ответ)
M(p)=1
M(p)<n
M(p)>0