5.1.5 Синтез конечных автоматов

Задача синтеза конечных автоматов разбивается на несколько этапов:

a) на первом этапе синтеза формулируются условия работы автомата, т.е. определяются условия его взаимодействия с объектом управления;

б) на втором этапе синтеза выявляется закон функционирования автомата, осуществляется его описание на одном из принятых формальных языков. Этот этап называют синтезом абстрактного автомата. На этапе абстрактного синтеза не интересуются свойствами логических элементов, из которых автомат в дальнейшем будет состоять. Не рассматривается какие конкретные значения принимают те или иные выходы ЛП или ЭП. Важно лишь знать число возможных различных состояний автомата и законы переходов между состояниями;

в) на третьем этапе осуществляют минимизацию внутренних состояний автомата;

г) на четвертом этапе осуществляется кодирование (размещение) внутренних состояний;

д) на пятом этапе осуществляется выписывание (в общем случае не полностью определенных) функций возбуждения автомата, их доопределение и минимизация;

е) шестой этап - построение ЛП на реальных логических элементах;

ж) последний этап - это соединение ЛП с ЭП и анализ работоспособности получившегося устройства.