Выдержка из книги
Зайцев С.С.
Описание реализации протоколов сетей ЭВМ
Список или идентификатор множества состояний в приставке from удобно применять в тех случаях, когда для множества состояний протокольного автомата необходимо выполнить одну и ту же реакцию. SN), Нам необходимо определить для каждого состояния реакцию на поступление протокольного элемента ОШИБКА, которая заключается в том, что выполняется процедура ЭПД. Обычным способом нам необходимо задать N переходов.