Cтраница 2
Рабочее состояние автомата Мили определяется как функция ( ZV o) и ПРИ использовании дополнительного начального состояния ан как функция от ан. [16]
Таблица выходов автомата Мили имеет те же обозначения строк и столбцов, что и построенная по правилу 4 таблица его переходов. [17]
При синтезе автоматов Мили к комплексу К0, полученному по правилам 1 - 2 основного алгоритма синтеза, можно применять последовательно, шаг за шагом, но в любом порядке операции отождествления соответственных и квазиподобных мест. К полученному в результате таких отождествлений комплексу применяются правила 3, 4, 5а особого алгоритма синтеза конечных автоматов Мили. [18]
В случае автоматов Мили в один и тот же 1-класс зачисляются все состояния, обозначающие совпадающие ( с точностью до неопределенных выходных сигналов) столбцы таблиц выходов. [19]
Бели в автомате Мили А имеется состояние а, для которого функция выходов не определена ни при каком входном сигнале, то такое состояние можно исключить из автомата, выбросив обозначенные им столбцы из таблиц переходов и выходов автомата А и заменив все остальные вхождения состояния а в таблицу переходов автомата А черточками. Возникший в результате такой операции автомат Мили В индуцирует то же самое отображение, что и автомат А. [20]
Таким образом, автомат Мили А может быть задан как совокупность автономных автоматов по всем буквам входного и выходного алфавита. В случае автоматов Мура имеет смысл говорить об автономных автоматах по входным буквам. [21]
Если выбрана модель автомата Мили, то разметка ГСА осуществляется по следующим правилам: символом а4 отмечается вход вершины, следующей за начальной, а также вход конечной вершины; вход каждой вершины, следующей за операторной, отмечается символом ait причем разным вершинам присваиваются разные символы; если вход вершины отмечается, то только одним символом. [22]
В отличие от автомата Мили состояния в автомате Мура должны переключаться в начале такта. Конец выполнения микропрограммы отмечается переходом автомата в начальное состояние аг. [23]
Мура будут эквивалентны автоматам Мили. [24]
Легко проверить, что автомат Мили А индуцирует то же отображение множества слов ( Х) в ( К), что и автомат Мура В. [25]
Определим операцию суммирования двух автоматов Мили. Пусть А и В - введенные выше произвольные абстрактные автоматы из ЭД. Автомат M ( Z H S, ht H R ( z Z / s S)), обозначаемый М А В, называется. [26]
Граф автомата Мура. [27] |
Различие в принципе функционирования автоматов Мили и Мура приводит к различию в числе состояний, свойственных каждому автомату, и к различию в конфигурациях графов автоматов. Для любой микропрограммы число состояний автомата Мили меньше или равно числу состояний автомата Мура. [28]
Более наглядным является задание автоматов Мили с помощью графов. Узлы графа отождествляются с состояниями автомата, а ветви отмечаются входными сигналами, вызывающими переход автомата по данной ветви, и выходными сигналами, сопутствующими такому переходу. [29]
Описание автоматов Мура и автоматов Мили с асинхронными выходами совпадают по форме и отличаются только логическими соотношениями, задающими функции выходов. В автоматах Мура выход зависит только от состояния, а в автоматах Мили и от входа. Для представления автомата Мили с синхронизируемыми выходами следует его выходные переменные специфицировать как триггеры, а на входы синхронизации и установки этого дополнительного регистра подать те же сигналы начальной установки и синхронизации, что и на остальные управляющие входы автомата. В листинге 3.69 приведено описание автомата Мили, заданного графом переходов ( рис. 3.27), с использованием оператора таблицы. [30]