Содержание
- Введение 1
- Обзор существующих методов управления светофорами 2
- Основы теории дискретных автоматов 3
- Формализация задачи управления светофором как дискретного автомата 4
- Разработка внутренней структуры дискретного автомата 5
- Алгоритмы функционирования дискретного автомата 6
- Программная реализация модели 7
- Тестирование и верификация модели 8
- Заключение 9
- Список литературы 10