Шпоры / Вопросы / Вопросы по ТА после корректировки

Вопросы учебной программы по дисциплине ТА

1. Общие сведения о дискретных устройствах. Релейный элемент. Дискретное устройство. Дискретный автомат. Классифи­кация дискретных устройств.

2. Задание дискретных устройств алфавитами и состояния­ми. Такты. АВтоматы Мили и Мура.

3. Понятие о математическом описании дискретных уст­ройств. Таблица состояний. Аналитическая и символическая формы записи условий функционирования комбинационных ДУ.

4. Табличный и графический способы задания (описания) ДУ на примере автоматов Мили и Мура (пл.1).

5. Логические функции и способы их задания. Наборы пере­менных. Основные операции алгебры логики.

6. Таблицы соответствия (истинности), полные и сокращен­ные, для полностью и неполностью определенных логических функ­ций (пл. 2,3).

7. Элементарные логические функции. Функции одной пере­менной. Основные функции двух переменных.

8. Метод суперпозиции логических функций. Функционально полные наборы логических функций. Логические элементы, реали­зующие основные логические функции.

9. Соотношения "0" и "1" в алгебре логики. Порядок ин­версирования логических функций.

10. Основные законы алгебры логики.

11. Основные формулы равносильных преобразований (с при­мерами).

12. Дизъюнктивная нормальная форма логических функций и методы ее получения. СДНФ. Переход от СДНФ к рабочим наборам. Получение СДНФ из таблицы соответсвия.

13. Конъюнктивная нормальная форма логических функций и методы ее получения. СКНФ. Получение СКНФ из таблицы соответс­вия. Переход от СКНФ к запрещенным наборам.

14. Задачи и сущность минимизации логических функций. Импликанды. Сокращенная, тупиковая, минимальные дизъюнктивные нормальные формы.

15. Таблично-аналитический метод минимизации логических функций - метод Квайна-Мак-Класски.

16. Карты Карно. Задание логической функции картой Кар­но. Свойство карты Карно. Цифровая кодировка карты Карно (пл. 6,7).

17. Минимизация логических функций по картам Карно. Простые импликанты. Максимальные правильные контуры. Методика минимизации (пл.8,9).

18. Решетка соседних чисел и обобщенных кодов. Соседние числа, обобщенные коды и их свойства. Построение и возможности решетки (пл.10,11).

19. Минимизация логических функций на основе решетки со­седних чисел и обобщенных кодов (пл, 10,11).

20. Минимизация логических функций на основе поразрядно­го сравнения рабочих и запрещенных наборов (весовых состояний) (пл.11).

21. Минимизация логических функций методом поразрядного сравнения рабочих и запрещенных обобщенных кодов.

23. Анализ комбинационных дискретных устройств (пл.12,13).

25. Элементарные автоматы памяти. Задержка, как элемен­тарный автомат памяти (пл.15).

26. R,S - триггер, как элементарный автомат памяти (с прямым и инверсным управлением) (пл.15).

27. J,K - триггер и триггер со счетным входом, как эле­ментарные автоматы памяти (пл.15).

28. Анализ дискретных устройств с памятью. Общая методика анализа. Получение логических функций возбуждения

элементов памяти и выходов (пл. 16

29. Анализ дискретных устройств с памятью. Построе-ние таблицы переходов-выходов и получение символической формыусловий работы (пл.16,17).

30. Переходные процессы в дискретных устройствах с памятью. Состязания элементов памяти. Виды переходов. Методикаанализа переходных процессов (пл.19)

31. Переходные процессы в комбинационных дискретных уст­ройствах . Причины возникновения состязаний сигналов (пл.20).

32. Определение состязаний сигналов в комбинационных дискретных устройствах ("риск в 1" и "риск в 0") (пл.21,22).

33. Аналитический метод анализа переходных процессов в комбинационных дискретных устройствах (пл.23,24).

34. Устранение состязаний сигналов в комбинационных дискретных устройствах методом включения фильтра (пл.25).

37. Абстрактный синтез комбинационных дискретных уст­ройств .

39. Реализация основных операций алгебры логики на раз­личных наборах логических элементов (пл.26

42. Сумматоры комбинационные и накапливающие, как диск­ретные устройства (пл. 37,38,39).

43. Универсальные логические модули - программируемые логические матрицы и коммутаторы-мультиплексоры и демультип­лексоры, как дискретные устройства (пл.40,41,42).

45. Построение и минимизация первичной таблицы переходов при синтезе дискретных устройств с памятью (пл.43).]

46. Построение реализуемой таблицы переходов при синтезе дискретных устройств с памятью (пл.43,44).

47. Построение таблицы переходов-выходов при синтезе дискретных устройств с памятью (пл.44,45).

48. Построение таблицы возбуждения при синтезе дискрет­ных устройств с памятью и получение условий работы синте-

зируемого автомата (пл.45,46).

49. Структурный синтез дискретных устройств с па­мятью (пл.46,48,49).

52. Способы описания (задания) микропрограммных автома­тов. Логическая схема алгоритма (пл.64).

55. Получение математической модели микропрограммного автомата в виде ГСА (пл.65), (Условие взять из учебника).

56. Получение математической модели микропрограммного автомата в виде ЛСА (пл.65), (Условие взять из учебника).

57. Получение математической модели микропрограммного автомата в виде МСА (пл.65), (Условие взять из учебника).

60. Построение графа переходов и кодирование состояний памяти при синтезе микропрограммного автомата (пл.66).

61. Построение обобщенной таблицы возбуждения и выходов. Получение и минимизация функций возбуждения и выходов при син­тезе микропрограммного автомата (пл.66,67).

64. Построение отмеченной ГСА и графа переходов при син­тезе МПА включения ЦВК (исходные данные взять из учебника).

65. Построение обобщенной таблицы возбуждения и выходов при синтезе МПА включения ЦВК (исходные данные взять из учеб­ника).

66. Построение функциональной схемы при синтезе МПА включения ЦВК на ПЛМ (исходные данные взять из учебника).

67. Конечные автоматы и формальные языки с точки зрения общей теории автоматов.

= Формальные языки (общие понятия).

68. Представление формальных языков с помощью граматик.

= Первичные понятия о грамматиках и языках.

= Порождающие, распознающие и преобразующие формальныеграмматики.

= Цепочки словаря V, операции над цепочками, язык.

69. Класс порождающих формальных грамматик.

= Определение формальной порождающей грамматики.

= Задана формальная грамматика. Составить несколько

типичных выводов цепочек.

= Использование порождающих грамматик в качестве рас­познающих. Проверить является ли данная цепочка правильной в смысле заданной грамматики.

= Язык, порождаемый грамматикой. Определение и поясне­ние.

70. Классификация порождающих грамматик и языков.

= Типы порождающих грамматик и языков. Описать грамма­тики типов 0 и 1.

= Описать грамматики и языки типов 2 и 3.

= Грамматики и языки непосредственно составляющих и

неукорачивающие.

71. Машина Тьюринга.

= Определение, состав и характеристика машины Тьюринга.

= Работа машины Тьюринга, конфигурации.

= Команды в машине Тьюринга. Программа.

= Характеристика машины Тьюринга с эластичной лентой.

72. Пример реализации алгоритма сложения двух чисел машиной Тьюринга. Граф переходов. Программа.

73. Магазинный автомат.

= Определение магазинного автомата. Магазинная память.

Эластичная лента.

= Устройство и работа магазинного автомата. Задание

автомата.

= Конфигурации магазинного автомата. Распознающие и

порождающие магазинные автоматы.

74. Концепции порождения и распознавания языков. Автоматы как распознаватели.