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