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