Графа - автомат
Cтраница 2
Факт синхронизации переходов может отмечаться на графе автомата. Пусть с - сигнал, синхронизирующий переключение состояний в микропрограммном автомате, часть графа которого представлена на рис. 5.10, а. [16]
Для каждого перехода ( указаны на графе автомата дугами) выписываются исходное состояние перехода, набор исходных состояний триггеров, набор состояний триггеров после перехода, а также конъюнкции входных сигналов, представляющие собой условие перехода. [17]
Для удобства перехода от размеченной ГСА к графу автомата вводится понятие пути от отметки ат к отметке as как пути в направлении дуги ГСА, проходящего не более чем через одну операторную вершину. [18]
 |
Обозначение состояний и переходов в графе автомата. [19] |
А - в состояние Ak, то на графе автомата переходу ( A, Ak) соответствует обозначение, приведенное на рис. 2.27, а. Таким образом, с использованием графа задается функция переходов автомата. [20]
Рассмотрим теперь метод получения функций возбуждения элементарных автоматов и функций выходов по графу автомата или по матрице соединений. Эта методика менее громоздка, чем построение функций возбуждения по кодированной таблице переходов автомата в случае канонического метода синтеза, и очень удобна для перехода от этапа абстрактной декомпозиции к функциональной схеме автомата. [21]
 |
Запуск автоматов. [22] |
Запускающий сигнал Z, включающий автомат в работу, может изображаться на графе автомата в виде рис. 5.14, а. При использовании данного способа запуска тактирующие сигналы поступают в автомат непрерывно. [23]
Каждый терм в дизъюнктивной нормальной форме bj соответствует ребру, входящему в вершину а / графа автомата. [24]
Если в ГСА существует путь перехода из ат в аа вида (2.4) или (2.5), то на графе автомата вершина ат соединяется дугой с вершиной а, направленной из ат в as в начале дуги записывается конъюнкция Х ( ат, as), соответствующая этому пути, в конце дуги-множество микроопераций Y ( am, as) из операторной вершины, через которую проходит этот путь. [25]
Граф автомата - это ориентированный граф, вершины которого соответствуют состояниям, а дуги - переходам между ними. Для графа автомата Мили выходной сигнал tWgsW, формируемый на переходе, записывается в конце дуги, а для автомата Мура - рядом с вершиной ат, отмеченной состоянием ат, в котором он формируется. Если переход в автомате из состояния ат в состояние as производится под действием нескольких входных сигналов, то дуге графа, направленной из ат в as, приписываются все эти входные и соответствующие выходные сигналы. [26]
 |
Граф автомата Мили ( а и граф автомата Мура ( б. [27] |
В случае автоматов Мура выходные сигналы связаны только с состояниями автомата, которым соответствуют вершины графа. Поэтому на графе автомата Мура выходными сигналами отмечаются не ребра, а вершины. При этом каждая вершина имеет два обозначения, например AtIYt. Легко видеть, что граф автомата, в котором отмечена начальная вершина, полностью задает закон функционирования автомата. [28]
Первое условие связано с однозначностью функций переходов и выходов и называется в соответствии с этим условием однозначности. Соблюдение этого условия требует, чтобы на графе автомата из любой вершины выходило бы не более одной стрелки, обозначенной любым данным входным сигналом. Применительно к квадратной автоматной матрице это условие означает, очевидно, что в любой ее строке любой - данный входной сигнал должен встречаться не более одного раза. [29]
Способ кодирования состояний автомата в большой степени определяет сложность комбинационной части. Поэтому при кодировании состояний стремятся к тому, чтобы на графе автомата было отмечено минимальное число сигналов возбуждения. [30]
Страницы: 1 2 3