8Конфигурация мт.

Конфигурацией МТ наз-ся совокупность её след. характеристик: внутреннее состояние МТ, слова, записанного на ленте и положения считывающей головки.

Обозн. конфиг.:Ki=qi ,где qi-сост-е МТ;-посл-ть символов располженных в ячейках слева от головки. -слово, первый символ кот-ого является обозреваемым,а остальные распологаются справа от головки.

21Канонический метод структурного синтеза конечного автомата.

Позволяет свести синтез конечного автомата к синтезу комбинационной схемы.

Этапы структурного синтеза

Автомат Мили

A={a1,a2,a3,a4,a5};

Z={z1,z2,z3};

W={w1,w2};

Таблица переходов- двумерная таблица, строки которой отмечены входными сигналами, а столбцы- состояниями.(можно и наоборот).На пересечении i-той строки и j-того столбца записывается состояние автомата aij, в которое он переходит из состояния aj под действием сигнала Zj ;Таблица выходов - аналогично, но таблица переходов на пересечении строки и столбца – выходные сигналы.

	a1	a2	a3	a4
Z1	a2	a1	a4	-
Z2	-	a3	a2	a3
Z3	a3	-	a1	a1

	a1	a2	a3	a4
Z1	W1	W2	W2	-
Z2	-	W1	W1	W2
Z3	W1	-	W1	W2

В совмещённой таблице переходов – выходов на пересечении i-ой строки и j-того столбца записывается:aij/wis

Автомат Мура

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

A={a1,a2,a3,a4,a5};

Z={z1,z2,z3};

W={w1,w2};

	W1	W2	W1
	a1	a2	a3
Z1	a2	a1	a2
Z2	a3	-	a3
Z3	-	a3	a1

20Теорема Глушкова.Обобщённая схема структурного автомата.

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

Автомат мура обладает полной системой переходов, если для любой пары состояний (ai,aj) найдётся входной сигнал, переводящий один элемент пары в другой, включая случай, когда i=j.

Пример (рис1)

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

Схема, построенная на лог. элементах, которые явл. конечными автоматами с одним состоянием наз-ся комбинационной схемой.