ДМ-3: Автоматы
Лабораторные работы по дисциплине «Дискретная математика — 3». Симуляторы конечных автоматов, машин Тьюринга, клеточных автоматов и формальных систем вычислений.
Конечные автоматы и методы управления состояниями
Симуляторы ДКА, НКА, автоматов Мура и Мили, методы минимизации и преобразования
Клеточные и графовые вычислительные структуры
Клеточные автоматы различных типов, турмиты и граф-автоматы
Модели и разновидности машин Тьюринга
Различные модификации и расширения машины Тьюринга
Алгоритмические и формальные системы вычислений
Нормальные алгорифмы, рекурсивные функции, сети Петри и другие формальные системы
Мультиагентные и квантовые интеллектуальные системы
Нейронные сети, квантовые вычисления, искусственная жизнь