
- •Министерство общего и профессионального образования
- •1. Общие сведения об автоматах
- •1.1. Основные определения. Обозначения. Изображения
- •Способы описания и построения автоматов
- •1.3. Об операциях над автоматами, о законах и тождествах алгебры автоматов
- •1.4. Цифровые автоматы 1-го и 2-го рода, автоматы Мили и Мура
- •1.5. Классификация автоматов
- •1.6. Свойства и характеристики автоматов
- •Автоматы, выполняющие роль "0" и
- •1.8. Равенство, равносильность, эквивалентность, изоморфизм
- •1.9. Автоматные грамотность и культура
- •1.10. Значение теории автоматов в науке, технике и обществе
- •1.11. Краткая историческая справка о зарождении и развитии автоматов. Виды теорий автоматов
- •2. Способы задания (описания) цифровых автоматов
- •2.1. Начальные языки
- •2.1.1. Графическая схема алгоритма
- •2.1.2. Матричная схема алгоритма
- •2.1.3. Функциональная микропрограмма
- •2.1.4. Система формул переходов
- •2.2. Автоматные языки
- •2.2.1. Таблицы переходов, выходов
- •2.2.2. Матрицы переходов, выходов
- •2.2.3. Графы автоматов
- •3. Операции над цифровыми автоматами
- •3.1. Операции декомпозиции
- •3.1.1.Разбиение. Покрытие
- •3.1.2. Проверка разбиения, покрытия
- •3.2. Операции композиции
- •3.2.1. Последовательное соединение
- •3.2.2. Параллельное соединение
- •3.2.3. Соединение с обратной связью
- •3.3.Алгебраические операции
- •3.3.1.Объединение частей автомата
- •3.3.2. Настраиваемое объединение
- •3.3.3. Пересечение автоматов
- •3.3.4. Вычитание
- •3.3.5. Симметрическая разность
- •3.3.6. Дополнение
- •3.4.1.Проверка отношения
- •3.4.2. Проверка равенства
- •3.5. Операции упрощения цифрового автомата
- •3.5.1. Упрощение автомата за счет упрощения алгоритма
- •3.5.2. Упрощение цифрового автомата за счет тождеств
- •4. Законы и тождества алгебры автоматов
- •4.2. Тождества
- •5. Вопросы синтеза и анализа логических схем
- •5.1. Синтез логических схем
- •5.1.1. Синтез схем с одним выходом с оптимальным доопределением
- •Даются как без инверсии, так и с инверсией. Количество входов при этом удваивается. Однако число входов указывается без удвоения. Рассматриваемый дешифратор – это дешифратор на 4 входа, хотя их – 8.
- •5.1.3. Синтез схем с двумя выходами с сильной степенью связи
- •5.2. Анализ логических схем
- •5.2.1. Анализ логических схем с одним выходом
- •5.2.2. Анализ логических схем с двумя выходами
- •6.2. Операционные автоматы
- •6.3. Управляющие автоматы
- •6.3.1. Управляющие автоматы с жесткой логикой
- •6.3.2. Управляющие автоматы с программируемой логикой
- •6.4. Синтез управляющего автомата с жёсткой логикой
- •6.4.1. Этапы синтеза
- •6.4.1.1. Задание условий работы автомата
- •6.4.1.2. Отметки граф – схемы алгоритма
- •6.4.1.3. Графы автоматов
- •6.4.1.4. Cинтез запоминающей части
- •6.4.1.5. Синтез выходной части
- •6.4.1.6. Синтез входной части
- •7. Контроль и диагностирование работы цифровых автоматов
- •7.1. Контроль логических операций
- •7.2. Контроль арифметических операций
- •7.3. Контроль и диагностирование передач информации
- •8. Программное обеспечение преобразования цифровых автоматов
- •8.1. Подпрограммы алгебраических операций
- •8.1.1. Подпрограмма настраиваемого объединения
- •8.1.2. Подпрограмма операции пересечения
- •8.1.3. Подпрограмма операции вычитания
- •8.1.4. Подпрограмма операции симметрической разности
- •8.1.5. Подпрограмма операции дополнения
- •8.2. Подпрограммы операций проверки отношения
- •8.2.1.Подпрограмма проверки отношения
- •8.2.2. Подпрограмма проверки равенства
- •8.3.7. Подпрограмма 'закачки' мсар1 в неоднородную мса
- •Заключение
- •Приложение 1. Подпрограммы реализации операций
- •Приложение 2. Контрольные вопросы курса
- •Содержание
- •Александр Васильевич Триханов
- •Учебное пособие
Приложение 2. Контрольные вопросы курса
“ТЕОРИЯ ВТОМАТОВ”………………………..
1. Автомат, цифровой автомат (ЦА), состояние и автоматное время.
2. Цель и задачи теории автоматов.
3. Значение теории автоматов.
4. Краткая история автоматов, теории автоматов.
5. Структура ЦА, обозначения и изображения.
6. Классификация ЦА по закону функционирования (ЗФ). Связь между ЦА Мили и Мура.
7. Классификация ЦА по различным критериям за исключением ЗФ.
8. Автоматные и логические сети.
9 Автоматные грамотность и культура.
10. Теории автоматов, сущность синтеза и анализа в них.
11. Свойства и характеристики ЦА.
12. Классификация языков описания ЦА.
13. ГСА содержательные и закодированные.
14. МСА. Условия корректности.
15. ФМП содержательные и закодированные Условия корректности.
16. СФП. Условия корректности.
17. ТП, ТВ и СТП и В. Условия корректности.
18. ТП, ОТП. Условия корректности.
19. МП, СМП и В. Условия корректности.
20. МП и ОМП. Условия корректности.
21. ГА Мили. Условия корректности.
22. ГА Мура. Условия корректности.
23. Классификация вершин графов. Условия их выявления на М и Т.
24. М, Т, Г ЦА Мили на R, S – триггере.
25. М, Т, Г ЦА Мура на триггере со счетным входом.
26. М, Т и ГА счетчика с N=3.
27. Диаграммы работы ЦА Мили.
28. Диаграммы работы ЦА Мура.
29. Связь между ЦА на графах.
30. ПОС автоматов.
31. ПАРС автоматов.
32. СОС автоматов.
33. Разбиение автомата на графе. Корректность разбиения автомата.
34. Разбиение автомата в Т и М. Корректность разбиения автомата.
35. Покрытие автомата. Проверка покрытия.
36. Объединение автоматов по Т, М и Г.
37. Пересечение автоматов по Т, М и Г.
38. Прямая разность автоматов по Т, М и Г.
39. Обратная разность автоматов по Т, М и Г.
40. Симметрическая разность автоматов по Т, М и Г.
41. Дополнение автомата по Т, М и Г.
42. Отношение между автоматами.
43. Равенство автоматов.
44. Упрощение автомата.
45. Элементарные конструкции Ф - языка.
46. Микрооперации (МО) инверсии, установки, передачи.
47. Микрооперации (МО) счета, сравнения, составления.
48. МО группы сложения.
49. МО группы сдвига.
50. Комбинированные МО.
51. Двоичные выражения(ДВ), простое ДВ. Порядок выполнения МО.
52. ДВ условные. Порядок вычисления отношений, МО.
53. Тождества(Т) для отдельных операций.
54. Т склеиваеия (ТСК).
55. Т поглощения (ТПОГ).
56. Т Порецкого (ТПОР).
57. Т де Моргана (ТДМ).
58. Т для общего “множителя” и “слjгаемого” совершенного ранга.
59. Автоматы устройства обработки цифровой информации с микропро-грамным управлением.
60. Операционные автоматы.
61. Управляющие ЦА (УЦА) с ЖЛ.
62. УЦА с ПЛ.
63. Этапы синтеза УЦА. Структура автомата.
64. Отметки ГСА для ЦА Мили.
65. Отметки ГСА для ЦА Мура.
66. Синтез средней части УЦА Мили.
67. Синтез средней части УЦА Мура.
68. Синтез выходной части УЦА Мили.
69. Синтез выходной части УЦА Мура.
70. Синтез входной части УЦА Мили.
71. Синтез входной части УЦА Мура.
72. Задача, этапы и методы синтеза логических схем (СЛС). СЛС при n=1.
73. СЛС при n=1 классическим методом.
74. СЛС при оптимальном доопределении на основе перебора.
75. СЛС при оптимальном доопределении специальным методом.
76. СЛС при нулевой связи (НС).
77. СЛС при слабой связи (СЛС).
78. СЛС при средней связи (СРС) на примере DC.
79. СЛС при средней связи.
80. СЛС при сильной связи (СИС).
81. Задачи, этапы и методы анализа логических схем (АЛС). АЛС при n=1.
82. АЛС при n = 2.
83. Отказы, сбои и неисправности. Реакция на них.
84. Виды избыточности, вес комбинации, кодовое расстояние.
85. Условия возможности контроля(К) и диагностирования (Д).
86. К и Д передач. Схема К и Д.
87. К дизъюнкции, схема контроля.
88. К конъюнкции, схема контроля.
89. К сложения по модулю 2, схема контроля.
90. К инверсии, схема контроля.
91. К эквивалентности, схема контроля.
92. К импликации, схема контроля.
93. К коимпликации, схема контроля.
94. К операции Шеффера, схема контроля.
95. К операции Пирса, схема контроля.
96. К сложения, схема контроля.
97. К вычитания, схема контроля.
98. К умножения, схема контроля.
99. К деления, схема контроля.