Теория автоматов. Жукалина И.В. - 15 стр.

UptoLike

ВУЗ: 

ОГУ | Оренбург

Составители: 

Рубрика: 

15
3.2.2 Формирование функций внешнего перехода или построение графа
автомата
Функции внешнего перехода определяют изменение состояний каждого
из элементов памяти в зависимости от изменения состояния всех элементов
памяти и приходящих на автомат входных сигналов.
Чтобы каждый элемент памяти работал в соответствии со своей
функцией внешних переходов, необходимо, чтобы на его входы приходили
строго определенные управляющие сигналы. Эти сигналы формируются по
логическим выражениям, которые называют функциями возбуждения
элементов памяти. Функции возбуждения зависят не только от функции внеш-
них переходов элемента памяти, но и от его собственного, внутреннего
функционирования.
3.2.3 Формирование функций возбуждения и выходов
Табличные формы представления функций внешнего перехода,
функций возбуждения и выходов можно получить непосредственно из таблицы
переходов-выходов и таблицы кодов состояний. Для этого символы состояний
необходимо заменить соответствующими кодами и установить порядок
следования строк и столбцов.
Для наглядности выполняемых преобразований строится структурная
таблицу автомата, которая заполняется с учетом функционирования заданного
элемента памяти.
Таблица 1 – Таблица переходов триггеров
В структурной таблице автомата отображаются значения функций
возбуждения и выходов для всех рабочих наборов. С целью упрощения их
аналитического представления используют карты Карно и выполняют их
минимизацию.
Минимизацию функций целесообразно выполнять по критериям
оптимальности совместной минимизации: минимум числа различных термов
(конъюнкций или дизъюнкций), используемых для покрытия всех функций
системы и минимум рангов этих термов. При этом один и тот же терм может
входить в покрытие нескольких функций.
Q(t)Q(t+1)
D
T
S
R
J
K
0 → 0
0
0
0
x
0
x
0 → 1
1
1
1
0
1
x
1 → 0
0
1
1
0
x
1
1 → 1
1
0
x
0
x
0 
       3.2.2 Формирование функций внешнего перехода или построение графа
автомата

       Функции внешнего перехода определяют изменение состояний каждого
из элементов памяти в зависимости от изменения состояния всех элементов
памяти и приходящих на автомат входных сигналов.
       Чтобы каждый элемент памяти работал в соответствии со своей
функцией внешних переходов, необходимо, чтобы на его входы приходили
строго определенные управляющие сигналы. Эти сигналы формируются по
логическим выражениям, которые называют функциями возбуждения
элементов памяти. Функции возбуждения зависят не только от функции внеш-
них переходов элемента памяти, но и от его собственного, внутреннего
функционирования.

      3.2.3 Формирование функций возбуждения и выходов

       Табличные формы представления функций внешнего перехода,
функций возбуждения и выходов можно получить непосредственно из таблицы
переходов-выходов и таблицы кодов состояний. Для этого символы состояний
необходимо заменить соответствующими кодами и установить порядок
следования строк и столбцов.
       Для наглядности выполняемых преобразований строится структурная
таблицу автомата, которая заполняется с учетом функционирования заданного
элемента памяти.

  Таблица 1 – Таблица переходов триггеров
   Q(t)Q(t+1)    D      T     S     R      J   K
     0 → 0        0      0     0     x      0   x
     0 → 1        1      1     1     0      1   x
     1 → 0        0      1     1     0      x   1
     1 → 1        1      0     x     0      x   0

       В структурной таблице автомата отображаются значения функций
возбуждения и выходов для всех рабочих наборов. С целью упрощения их
аналитического представления используют карты Карно и выполняют их
минимизацию.
       Минимизацию функций целесообразно выполнять по критериям
оптимальности совместной минимизации: минимум числа различных термов
(конъюнкций или дизъюнкций), используемых для покрытия всех функций
системы и минимум рангов этих термов. При этом один и тот же терм может
входить в покрытие нескольких функций.




                                                                       15

Страницы