Схемотехника цифровых, аналого-цифровых и цифро-аналоговых устройств. Корнев Е.А. - 63 стр.

       Рисунок 5.2 – Диаграмма переходов автомата

     5.1.4 Автоматные уравнения
      Автоматные уравнения - это примитивный способ задания автомата с по-
мощью логических уравнений, описывающих логическую сеть, реализующую
автомат на простейших логических элементах. Автоматные уравнения, назы-
ваемые также функциями возбуждения автомата, являются результатом одного
из этапов синтеза конечного автомата. Для несложных автоматов такой способ
задания является достаточно наглядным и удобным для анализа его поведения.

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

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


                                                                         63