Контрольная работа: Абстрактные цифровые автоматы

…

а_k

входные сигналы x₁ (a₁ ,x₁ ) (a₂ , x₁ ) . (а_к , x₁ ) … х_j (a₁ , х_j ) (a₂ , х_j )

…

(а_к , х_j )

Пример заполнения таблицы переходов некоторого абстрактного полностью определенного автомата с входным алфавитом X={х₁ , х₂ } - и алфавитом состояний A={a₁ , a₂ , а₃ } представлен в табл.1.2.

Таблица 1.2

А	а1	a2	а3
х
х1	а2	а3	а1
x2	а1	а1	a2

Если абстрактный автомат частичный, то в клетке таблицы его переходов, находящейся, на пересечении строки, отмеченной входным сигналом и столбца отмеченного соответствующим состоянием (при условии, что переход в это состояние под действием данного входного сигнала не определен) ставится прочерк, и любое входное слово, приводящее к указанному переходу является запрещенным.

Заполнение остальных клеток аналогично случаю полностью определенного автомата. Вид таблицы переходов не зависит от типа задаваемого автомата (автомат Мили, Мура, С-автомат). Таблицы выходов автоматов Мили, Мура, С-автомата имеют различия.

Таблица выходов полностью определенного автомата Мили строится следующим образом: идентификация столбцов и строк, а также формат таблицы соответствуют таблице переходов полностью определенного автомата. В клетке таблицы выходов, находящейся на пересечении строки, отмеченной входным сигналом X_j , и столбца, отмеченного состоянием а_к , ставится выходной сигнал У_m , который автомат выдает, находясь в состоянии а_k при наличии входного сигнала Xj, что определяется выражением Ym= (а_k , х_j ).

Таблица 1.3 Таблица выходов абстрактного автомата Мили.

Состояния	a1	a2	ak
Входные сигналы
х1	(a1 ,x1 )	(a2 , x1 )	(ak , x1 )
…	….	.
« 1 2 3 4 5 6 7 8 » К-во Просмотров: 335 Бесплатно скачать Контрольная работа: Абстрактные цифровые автоматы >>> Скачать <<< Меню Поиск