Теоретические основы систем управления дискретного действия. Кузьмин А.В. - 80 стр.

UptoLike

Составители:

Рубрика:

Рис.3.5. Граф автомата М Рис.3.6. Граф подавтомата M

3.8. АНАЛИЗ КОНЕЧНЫХ АВТОМАТОВ

Анализ конечных автоматов заключается в определении последо-

вательности выходных сигналов при возбуждении их в тактовые моменты

времени некоторой последовательностью входных сигналов. Входная и

выходная последовательности представляются наборами символов (или их

номеров) из алфавитов Х и Y одинаковой длины. Для такого описания, кроме

функций выходов и переходов, необходимо определить или задать начальное

состояние автомата [2].

Наиболее удобно определять реакцию автомата на входную после-

довательность по его графу. Для этого достаточно проследить путь в графе,

начиная от вершины начального состояния, по направлению дуг, которые

отмечены очередными номерами и з входной последовательности. Выходная

последовательность определяется номерами, которыми отмечены дуги в

порядке их следования по пройденному пути, а последовательность

состояний автомата - номерами вершин, через которые проходит этот путь.

С помощью графа автомата легко выделить следующие характерные

типы его состояний:

- преходящее состояние, из которого можно перейти, по крайней мере

в одно другое состояние, но после этого уже нельзя возвратиться в него ни

при каком воздействии, т.е. соответствующая вершина не имеет заходящих

дуг, но имеет хотя бы одну исходящую дугу;

- тупиковое состояние, в которое можно перейти, по крайней мере из

одного состояния, но после этого уже нельзя выйти из него н и при каком

воздействии, т.е. соответствующая вершина не имеет исходящих дуг в другие

вершины, но имеет хотя бы одну, входящую из другой вершины;