Курс «Автоматное программирование систем управления», версия 1.7.0.
В архиве statecraft-lectures-1.7.0.zip — PDF лекций,
приложений и лабораторных работ под читаемыми именами.
Лекции
- Введение. Дискретные системы, алфавиты, слова и языки
- Конечный автомат. Модели Мили и Мура
- Синтез автоматов и автоматные схемы
- Автоматы-акцепторы. ДКА и НКА
- Регулярные события и теорема Клини
- Регулярные выражения и лексический анализ
- Автоматное программирование
- Иерархические автоматы и кодогенерация
- Верификация и тестирование автоматных программ
- Границы модели. Машина Тьюринга и вычислимость
- Клеточные автоматы и самовоспроизведение
- Язык Takt: описание автоматов и порождение кода
Приложения
- Система управления версиями Git
- Требования к коду курса
Лабораторные работы
- Синтез автомата и его схемы
- От регулярного выражения к минимальному автомату
- Распознаватель формата как конечный автомат
- Программа для машины Тьюринга
- Прикладной автомат в трёх реализациях