ВУЗ:
Составители:
Рубрика:
89
В различных вершинах могут быть одинаковые наборы. В каждой операторной вершине
записано одно из слов, представляющих собой микрокоманду, т.е. набор
~y
1
; ~y
2
; : : : ; ~y
N
(в примере
набор расширен до одной буквы). В различных вершинах могут быть одинаковые микрокоманды.
Содержательный смысл вершин: начальная вершина характеризует исходное (пусковое)
состояние автомата. Условная вершина проверяет выполнение некоторого логического условия,
например . Если оно выполняется ( ), то совершается действие . Эта ситуация продолжа-
ет существовать до тех пор, пока не будет выполнено условие . Тогда выполняется действие
, и проверяется условие .
Рис. 2.61. Граф алгоритма автомата
Для построения автомата Мили вход каждой вершины, следующей за операторной, отмеча-
ется символом , ( - состояние автомата). Символом отмечается вход вершины, следующей за-
начальной, и вход конечной вершины (рис. 2.60). Входы различных вершин отмечаются различ-
ными символами, но каждый вход отмечается единсгвеным символом. Рассмотрим два типа путей
переходов от одного состояния к другому (от к ):а) путь, содержащий некоторое количество
условных вершин (возможно 0) и единственную операторную вершину, б) путь, содержащий толь-
ко условные вершины.
Оба типа путей характеризуются функциями перехода, записанными в виде конъюнкции .
Если переход безусловный, функция перехода равна единице.
Граф автомата (см. рис. 2.60) имеет три состояния (рис 2.61). Дуги графа отмечены функци-
ями перехода и функциями выхода. Для путей второго типа функция выхода не определена.
При построении автомата Мура символами отмечаем сами операторные вершины ГСА.
Символом отмечаются начальная и конечная вершины, все остальные различные вершины
должны быть отмечены различными символами. Так как в данном примере все операторные вер-
шины различны, будем считать, что , для остальных операторных вершин .
Входные сигналы, обеспечивающие переходы автомата, определяются как функции перс-хода
между операторными вершинами. Таким образом, дуги графа отмечены сигналами типа а выхо-
ды автомата Мура (микрокоманды) однозначно связаны с состоянием автомата (рис 2.62).
Любой автомат Мура можно преобразовать в автомат Мили и наоборот. Пусть автомат Мура
задан набором входов, выходов, внутренних состояний, функций переходов и функций выходов:
.
89
В различных вершинах могут быть одинаковые наборы. В каждой операторной вершине
записано одно из слов, представляющих собой микрокоманду, т.е. набор y~1 ; y~2 ; : : : ; y~N (в примере
набор расширен до одной буквы). В различных вершинах могут быть одинаковые микрокоманды.
Содержательный смысл вершин: начальная вершина характеризует исходное (пусковое)
состояние автомата. Условная вершина проверяет выполнение некоторого логического условия,
например . Если оно выполняется ( ), то совершается действие . Эта ситуация продолжа-
ет существовать до тех пор, пока не будет выполнено условие . Тогда выполняется действие
, и проверяется условие .
Рис. 2.61. Граф алгоритма автомата
Для построения автомата Мили вход каждой вершины, следующей за операторной, отмеча-
ется символом , ( - состояние автомата). Символом отмечается вход вершины, следующей за-
начальной, и вход конечной вершины (рис. 2.60). Входы различных вершин отмечаются различ-
ными символами, но каждый вход отмечается единсгвеным символом. Рассмотрим два типа путей
переходов от одного состояния к другому (от к ):а) путь, содержащий некоторое количество
условных вершин (возможно 0) и единственную операторную вершину, б) путь, содержащий толь-
ко условные вершины.
Оба типа путей характеризуются функциями перехода, записанными в виде конъюнкции .
Если переход безусловный, функция перехода равна единице.
Граф автомата (см. рис. 2.60) имеет три состояния (рис 2.61). Дуги графа отмечены функци-
ями перехода и функциями выхода. Для путей второго типа функция выхода не определена.
При построении автомата Мура символами отмечаем сами операторные вершины ГСА.
Символом отмечаются начальная и конечная вершины, все остальные различные вершины
должны быть отмечены различными символами. Так как в данном примере все операторные вер-
шины различны, будем считать, что , для остальных операторных вершин .
Входные сигналы, обеспечивающие переходы автомата, определяются как функции перс-хода
между операторными вершинами. Таким образом, дуги графа отмечены сигналами типа а выхо-
ды автомата Мура (микрокоманды) однозначно связаны с состоянием автомата (рис 2.62).
Любой автомат Мура можно преобразовать в автомат Мили и наоборот. Пусть автомат Мура
задан набором входов, выходов, внутренних состояний, функций переходов и функций выходов:
.
Страницы
- « первая
- ‹ предыдущая
- …
- 87
- 88
- 89
- 90
- 91
- …
- следующая ›
- последняя »
