- •1. Двоичные сигналы в цифровой технике
- •2. Интегральные технологии
- •3. Переключательные схемы. Логические элементы и (and), или (or), не (not)
- •4. Переключательные схемы. Логические элементы и-не (nand) или-не (nor) исключающее или (xor), эквивалентность (xnor), буфер
- •5. Ассоциативность функций и (and), или (or), и-не (nand) или-не (nor), xor, xnor.
- •6. Степени интеграции микросхем. Позитивная и негативная логика
- •7. Операции кубического исчисления конъюнкция (and), дизъюнкция (or), исключающее или (xor)
- •8. Операции кубического исчисления пересечение, объединение и дополнение
- •9. Кубические покрытия элементов и (and), или (or), и-не (nand) или-не (nor), xor, xnor (доделать!!!)
- •10. Два подхода в минимизации систем булевых функций
- •11. Автоматизация проектирования
- •12. Сумматоры
- •13. Мультиплексоры
- •14. Демультиплексоры
- •15. Дешифраторы
- •16. Шифраторы
- •17. Программируемые логические матрицы (плм или pla)
- •18. Программируемая матричная логика (пмл или pal)
- •19. Универсальные логические модули на основе мультиплексоров (lut)
- •20. Асинхронные триггеры: rs-триггер, r*s*-триггер
- •21. Асинхронные триггеры: jk-триггер, j*k*-триггер
- •22. Асинхронные триггеры: d-триггер, vd-триггер, т-триггер
- •23. Синхронные триггеры
- •24. Одноступенчатые и двухступенчатые триггеры
- •25. Параллельные регистры. Последовательные регистры
- •26. Последовательно-параллельные регистры
- •27. Синтез триггеров на базе других триггеров (доделать!!!)
- •28. Определение абстрактного цифрового автомата
- •29. Автомат Мили
- •30. Автомат Мура
- •32. Задание автомата графом переходов
- •33. Табличный способ задания автоматов
- •34. Автоматная лента
- •35. Задание автомата деревом функционирования
- •36. Матричный способ представления автомата
- •37. Алгоритм трансформации автомата Мура в автомат Мили
- •38. Алгоритм перехода от автомата Мили к автомату Мура
- •39. Концепция операционного и управляющего автомата
- •40. Принцип микропрограммного управления
- •41. Содержательные и закодированные гса
- •42. Канонический метод структурного синтеза сложного цифрового автомат
- •43. Канонический метод синтеза микропрограммных автоматов Мили
- •44. Кодирование состояний автоматов с целью минимизации аппаратурных затрат
- •45. Противогоночное кодирование состояний автоматов. Кодирование состояний автоматов, реализуемых на плис
- •46. Канонический метод синтеза микропрограммных автоматов Мура
- •47. Vhdl-модель управляющего автомата Мили
- •48. Vhdl-модель управляющего автомата Мура
- •49. Vhdl-модель операционного автомата
- •50. Синтез канонической структуры операционного автомата
- •51. Характеристики операционного автомата. Явление гонок в операционных автоматах
- •52. Эквивалентные операции и обобщенный оператор
- •53. Операционный автомат типа I
- •54. Операционный автомат типа м
- •55. Оа типа im с параллельной комбинационной частью
- •56. Оа типа im с последовательной комбинационной частью
- •57. Операционный автомат типа s
- •58. Дребезг механических переключателей и метод его устранения
- •59. Делитель частоты
37. Алгоритм трансформации автомата Мура в автомат Мили
Два автомата SA и SB с одинаковыми входными и выходными алфавитами называются эквивалентными, если после установления их в начальные состояния их реакция (выходное слово) на любое входное слово совпадает.
Если для автомата Мили (табл. 4.7 и табл. 4.8) и автомата Мура (табл. 4.9) найти их реакции на входное слово x1 x2 x1 x2 x2, то получим следующие две ленты (табл. 4.10 и табл. 4.11).
Таблица 4.7 – Таблица переходов автомата Мили
ТП |
а1 |
а2 |
а3 |
х1 |
a2 |
a3 |
a2 |
х2 |
a3 |
a2 |
a1 |
Таблица 4.8 – Таблица выходов автомата Мили
ТВ |
a1 |
а2 |
а3 |
х1 |
u1 |
u3 |
u3 |
х2 |
u2 |
u1 |
u1 |
Таблица 4.9 – Отмеченная таблица переходов автомата Мура
ОТП |
u1 |
u1 |
u3 |
u2 |
u3 |
a1 |
a2 |
a3 |
a4 |
a5 |
|
х1 |
a2 |
a5 |
a5 |
a3 |
a3 |
х2 |
a4 |
a2 |
a2 |
a1 |
a1 |
Таблица 4.10 – Лента Тьюринга для автомата Мили
Такт |
0 |
1 |
2 |
3 |
4 |
5 |
|
Х |
x1 |
x2 |
x1 |
x2 |
x2 |
|
|
A |
a2 |
a2 |
a2 |
a3 |
a1 |
a3 |
|
Y |
u1 |
u1 |
u3 |
u1 |
u2 |
|
Таблица 4.11 – Лента Тьюринга для автомата Мура
Такт |
0 |
1 |
2 |
3 |
4 |
5 |
|
Х |
x1 |
x2 |
x1 |
x2 |
x2 |
|
|
A |
a2 |
a2 |
a2 |
a5 |
a1 |
a4 |
|
Y |
u1 |
u1 |
u1 |
u3 |
u1 |
u2 |
Из сравнения лент двух автоматов Мили и Мура видно, что их реакции (реакции автомата Мили и сдвинутой на один такт реакции автомата Мура) совпадают.
Выходным сигналом автомата Мура в такт t=0 пренебрегаем, так как он определяется не входным сигналом автомата в этот момент времени, а исключительно состоянием.
Из сравнения двух лент, конечно, не следует делать вывод, что оба автомата SA и SB эквивалентны, так как исследование проведено только для одного входного слова, а не для всех допустимых (разрешенных) входных слов. Известно изначально, что они эквивалентны.
При рассмотрении алгоритмов взаимной трансформации одного типа в другой будем (в соответствии с изложенным выше) пренебрегать в автоматах Мура выходным сигналом (a1), связанным с начальным состоянием.
Рассмотрим вначале преобразование автомата Мура в автомат Мили. Пусть дан автомат Мура
SA={AA, XA, YA, A, A, a1A}, у которого
AA={a1,…,am};
XA= {x1,…,xF};
YA={u1,…,uG};
A: AA×XAAA;
A: AAYA,
a1A=a1 – начальное состояние.
Построим автомат Мили SB={AB, XB, YB, B , B, a1B} , у которого AB=AA; XB=XA; YB=YA; B=A; a1B=a1A=a1. Функцию выходов B: AB×XBYB определим следующим образом: если в автомате Мура A (am, xf)=as и A(as)=ug, то в автомате Мили B(am,xf)=ug.
Переход от автомата Мили при графическом способе задания автомата иллюстрируется фрагментом графа переходов на рис. 4.7.
Рисунок 4.7 – Переход от автомата Мура к автомату Мили
При переходе от автомата Мура к автомату Мили выходной сигнал ug, записанный рядом с вершиной as, переносится на все дуги, входящие в эту вершину.
При табличном способе задания автомата Мура (отмеченной таблицей переходов) таблица переходов автомата Мили совпадает с таблицей переходов автомата Мура. В таблице выходов снимается только отметка состояний автомата Мили путем замены символа состояния перехода as символом выходного сигнала ug, отмечающего столбец as в таблице переходов автомата Мура.
Из самого способа построения автомата Мили SB следует, что он эквивалентен автомату Мура SA. В качестве примера перехода от автомата Мура к автомату Мили, представленных графом переходов можно привести примеры на рис. 4.3 (Мили) и 4.4 (Мура).
Рассмотрим пример перехода от ОТП автомата Мура (табл. 4.9) к автомату Мили, представленному таблицей переходов и таблицей выходов. В результате получим табл. 4.12 и табл. 4.13.
Таблица 4.12 – Таблица переходов автомата Мили
ТП |
а1 |
а2 |
а3 |
a4 |
a5 |
х1 |
a2 |
a5 |
a5 |
a3 |
a3 |
х2 |
a4 |
a2 |
a2 |
a1 |
a1 |
Таблица 4.13 – Таблица выходов автомата Мили
ТВ |
a1 |
а2 |
а3 |
a4 |
a5 |
х1 |
u1 |
u3 |
u3 |
u3 |
u3 |
х2 |
u2 |
u1 |
u1 |
u1 |
u1 |