Читайте также:
|
|
Абстрактный автомат также может быть задан с помощью матрицы соединений автомата – квадратной матрицей , строки которой соответствуют начальным внутренним состояниям, а столбцы состояниям в момент
. Элемент
, который находится на пересечении
-ой строки и
-го столбца, для автомата Мили соответствует входному сигналу
, который обеспечивает переход автомата из состояния
в состояние
и выходному сигналу
, который при этом формируется. Так, для автомата Мили, заданного табл. 3.9, матрица соединений имеет вид
Если переход из состояния в состояние
происходит вследствие действия нескольких сигналов, то элемент матрицы
представляет собой множество пар вход/выход для этого перехода, который соединяется символом дизъюнкции.
При матричном задании автомата Мура элемент равен множеству входных сигналов на переходе
, а выход записывается в виде соответствующей матрицы. Так, для автомата Мура заданного таблицей 3.10, имеем
.
Дата добавления: 2015-07-08; просмотров: 290 | Нарушение авторских прав
<== предыдущая страница | | | следующая страница ==> |
Графический способ задания автомата | | | Эквивалентность автоматов |