Archive / ОТКА / Кейс_ Теория автоматов_(для ЗА) / вопросы ОТКА

Контрольные вопросы по дисциплине «Основы теории конечных автоматов»

1. Алгебра логики как аппарат анализа и синтеза дискретных устройств. Основные логические действия алгебры логики. Постулаты алгебры логики.

2. Основные законы и теоремы Булевой алгебры.

3. Законы разложения булевых функций.

4. Разложение булевых функций на конституенты единицы и нуля.

5. Формы представления логических функций (элементарные, нормальные, совершенные).

6. Алгоритмы перехода из нормальных форм в совершенные.

7. Таблицы состояний как форма представления булевых функций. Запись булевых функций с помощью десятичных чисел.

8. Представление булевых функций с помощью матриц Карно. Свойства матриц Карно.

9. Алгоритм минимизация методом Куайни-МакКласски.

10. Алгоритм минимизация методом Гаврилова-Копыленко.

11. Минимизация булевых функций с помощью матриц Карно. Правила выделения подкубов.

12. Понятие предиката, примеры предикатных функций, порядок предикатной функции.

13. Понятие квантора, виды кванторов и их свойства. Свободные и связанные переменные

14. Методы доказательств в логике предикатов, истинность и эквивалентность.

15. Понятие алгоритма. Численные и логические алгоритмы. Общие свойства алгоритмов.

16. Определение машины Тьюринга, принцип ее работы. Свойства машин Тьюринга.

17. Вычислимость и разрешимость алгоритмов. Теорема Райса.

18. Роль устройств управления в автоматизированных технологических системах. Понятие о конечном автомате. Входные и выходные переменные.

19. Методы формального описания поведения конечного автомата.

20. Понятие графа и его определение, вершины, ребра и инцидентор графа.

21. Ориентированные и неориентированные графы. Каноническое соответствие.

22. Основные типы графов. Дуги, петли и звенья.

23. Аналитическое представление графов. Матрицы смежности и инцидентности.

24. Пути и контуры в графах. Расстояния, диаметр и центр в графах.

25. Гамильтоновы пути и контуры в графах. Означенные матрицы смежности.

26. Деревья – основные понятия и определения. Высота и уровень.

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. Схемотехническая реализация булевых функций.

59. Методы реализации элементов памяти в бесконтактных логических схемах.

60. Анализ работы и синтез асинхронного и синхронного RS-триггера. Использование RS-триггера в качестве элемента памяти.