Автоматные уравнения

Диаграммы переходов

Диаграмма переходов - это ориентированный граф, вершинами которого являются внутренние состояния автомата, а дуги помечены входными и выходными состояниями, как показано на рисунке 2.

 

 

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

 

 

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