47. Эйлеров цикл. Полуэйлерность. Критерий эйлерности.
48. Неформальные описания алгоритмов.
49. Построение алгоритмических моделей с использованием интерпретатора машины Поста.
50. Принцип работы машины Тьюринга.
51. Код Грэя.
52. Метод рекурсивного спуска.
53. Коды переменной длины.
54. Грамматика Хомского.
55. Последовательное и параллельное кодирование последовательностей знаков.
56. Магазинные автоматы.
57. Нормальная форма Грейбах.
58. Оптимальность кодов и разрешающая информация.
59. Теорема кодирования Шеннона.
60. Магазинные автоматы и контекстно-свободные языки.
61. Надежность передачи сообщений.
62. Форма Бэкуса-Наура.
63. Надежность кодов.
64. LR(k)-языки.
65. LL(k)-грамматики.
66. Формальное описание алгоритма через замену текстов.
67. Алгоритмы Маркова.
68. Контекстно-зависимые грамматики.
69. Отображения, индуцируемые алгоритмами текстовых замен.
70. Гипотетические машины.
71. Семейства функций и множеств как вычислительные структуры.
72. Грамматики.
73. Сигнатуры.
74. Иерархия языков по Хомскому.
75. Основные термы.
76. Структурные графы и структурные деревья.
77. Термы с идентификаторами.
78. Тупики и бесконечные трассы вывода.
79. Параллельные векторные архитектуры.
80. Моделирование отношений сущность\связь.
81. Информатика и науки.
82. Применение систем баз данных.
83. Процессы, коммуникация и координация в распределенных системах.