5.2.2. Таблица выходов (функция λ )

Таблицей выходов каждому внутреннему состоянию дискретного автомата на соответствующем такте задается величина выходного сигнала. В общем случае это описывается табличной функцией λ[a(t),x(t)], смысловое содержание которой представлено в табл. 2.

Таблица 2

	а1	а2	а3	а4	Смысл этой таблицы состоит в том, что за четыре входных такта Х1;Х2;Х3;Х4 дискретный автомат формирует конкретный входной сигнал при соответствующем
Х1	y1	y3	-	y4
Х2	-	y1	y1	y2
Х3	y4	-	y2	y3
Х4	-	-	-	y4

внутреннем его состоянии : а1,а2, а3,а4.

Согласно табл. 2 при действии сигнала Х1 на выходе автомата при его внутреннем состоянии а1 формируется сигнал y1, а в состоянии а4 этот автомат выдает сигнал y4. Состояние а3 в этом такте безразлично.

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

Таблица 3

	а1	а2	а3	а4	Таблица 3 иллюстрирует принцип этого объединения. Такая таблица является основой для построения графа переходов. Если в таблице 3 не все клетки заполнены
Х1	а1/y1	а3/y3	-	а1/y4
Х2	-	а1/y1	а1/y1	а2/y2
Х3	а4/y4	-	а2/y2	а3/y3
Х4	-	-	-	а2/y4

(определены), то такой автомат считается не полностью определенным или частичным.

5.2.3.Построение графа переходов дискретного состояния автомата.

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

На рис.7 приведен граф автомата, описанного таблицей 3. Произвольно расставив вершины состояний автомата: а1, а2, а3, а4 согласно таблицы 3 обозначим ребрами направления перехода автомата из одного состояния в другое. Так в такте Х1 автомат из состояния а1 вновь приходит в это состояние. Ребро такого направления (исходящего и входящего в одну и туже вершину) называется петлей. Далее в этом же такте из вершины а2 ребро направляем в вершину а3, а из вершины а4 в вершину а1 и так далее о каждому такту. В итоге получим результирующий граф переходов, представленный на рис.7. Этот граф может быть представлением одной из форм алгоритма работы дискретного автомата. За начало этого алгоритма принимается та вершина графа, из которой только выходят ребра, и нет в ней входящих ребер. Аналогично за конец а лгоритма принимается та вершина графа, в которую только входят все ребра, и нет в ней выходящих ребер.

Рис 7. Граф переходов состояний автомата.