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