logo
Ав пособиеOffice Word 97 - 2003

3.4. Матричный способ задания автомата

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

Если переход из состояния в состояниепроисходит вследствие действия нескольких сигналов, то элемент матрицыпредставляет собой множество пар вход/выход для этого перехода, который соединяется символом дизъюнкции.

При матричном задании автомата Мура элемент равен множеству входных сигналов на переходе, а выход записывается в виде соответствующей матрицы. Так, для автомата Мура заданного таблицей 3.10, имеем

.