1. Формальное описание фрагмента языка HTML (по согласованию с преподавателем)
2. Формальное описание предметной области (по согласованию с преподавателем)
3. Создание автомата для описания предметной области (по согласованию с преподавателем)
4. Создание машины Тьюринга для решения задачи (по согласованию с преподавателем)
5. Формальное описание языка программирования (по согласованию с преподавателем)
6. Собственная тема студента (по согласованию с преподавателем)
Выбираем и согласовываем тему. Работа должна быть выполнена до зачётной недели, поэтому рекомендуется подсуетиться.