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