Как уже было указало, действия модуля определяются протокольным автоматом. Описание протокольного автомата в виде простой ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Зайцев С.С.
Описание реализации протоколов сетей ЭВМ
Как уже было указало, действия модуля определяются протокольным автоматом. Описание протокольного автомата в виде простой модели конечного автомата приводит к очень сложным и нечитаемым спецификациям, поэтому модель конечного автомата расширяется дополнением переменных и действиями над ними.
