Для доказательства правильности спецификации сообщения создается набор утверждений, доказывающий, что:
(Отметьте один правильный вариант ответа.)
Варианты ответа
для любой пары элементов сообщения, например, A и B, переход от A к B проходит не менее чем за три шага
для любой пары элементов сообщения, например, A и B, переход от A к B проходит за один шаг(Верный ответ)
для любой пары элементов сообщения, например, A и B, переход от A к B проходит быстрее чем переход от B к A
