7.1. Построение таблицы переходов и выходных функций.

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

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

Таблица 4. Функций перехода и возбуждения для автомата Мура

Исходное состояние				Условия перехода	Послед. Состояние				Функции возбуждения
метка	код				метка	код			D1	D2	D3
	Q1	Q2	Q3			Q1	Q2	Q3
S0	0	0	0	-	S1	0	0	1	0	0	1
S1	0	0	1		S2	0	1	0	0	1	1
					S3	0	1	1	0	1	1
S2	0	1	0		S0	0	0	1	0	0	1
					S4	1	0	0	1	0	0
S3	0	1	1		S1	0	0	1	0	0	1
S4	1	0	0		S6	1	1	0	1	1	0
					S5	1	0	1	0	0	1
S5	1	0	1	-	S7	1	1	1	1	1	1
S6	1	1	0	-	S7	1	1	1	1	1	1
S7	1	1	1	-	S2	0	1	0	0	1	0

Из таблицы 4 функций перехода, возбуждения и выходов автомата Мура получаем систему логических уравнений для цифрового автомата Мура.

Система логических уравнений для цифрового автомата Мура:

D₁= Ǭ₁Q₂Ǭ ₃ X₂ v Q₁Ǭ₂Ǭ₃ v Q₁Ǭ₂Q₃ v Q₁Q₂Ǭ₃

D₂= Ǭ₁Ǭ₂Q₃ v Q₁Ǭ₂Ǭ ₃v Q ₁Ǭ₂Ǭ ₃ X₃v Q₁Ǭ₂Q₃v Q₁Q₂Ǭ₃vQ₁Q₂Q₃

D₃= Ǭ ₁Ǭ₂ Ǭ ₃ v Ǭ₁Ǭ₂Q₃X₁ v Ǭ₁Q₂Q₃ v Q₁Ǭ₂Ǭ₃X₃v Q₁Ǭ₂Q₃v Q₁Q₂Q₃

Y₁= Ǭ₁Ǭ₂Q₃

Y₂= Ǭ₁Ǭ₂Q₃v Ǭ₁Q₂Ǭ ₃

Y₃= Ǭ₁Q₂Ǭ ₃

Y₄= Ǭ₁Q₂Q₃

Y₅= Ǭ₁Q₂Q₃ v Q₁Q₂Q₃

Y₆= Q₁Q₂Ǭ₃