Продвинутый уровень · Доказательства
Формальные языки
Объяснить конечные автоматы и выполнить упражнение «Построить автомат и проверить строки», обосновав выбранный подход.
Это программа подготовки модуля. Полный урок ещё не опубликован.
Перед началом
Последовательность уроков
Конечные автоматы
До урока: предварительные знания модуля. Результат: объяснить конечные автоматы на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Регулярные языки
До урока: Конечные автоматы. Результат: объяснить регулярные языки на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Грамматики
До урока: Регулярные языки. Результат: объяснить грамматики на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Практика
Задания находятся в программе подготовки. Для базового модуля нужны две задачи на освоение, две на применение и одна в новом контексте. Продвинутые подборки открываются после соответствующей базы.
Подготовить доказательство, контрпример, реализацию и измерительный эксперимент.
Проверочные вопросы
- Объясните «Конечные автоматы» на собственном примере. Какие предварительные условия необходимы?
- Какая типичная ошибка возможна в упражнении «Построить автомат и проверить строки»? Какой пример её обнаружит?
Критерии ответа: верные определения, подходящий пример, явные условия применимости и объяснение проверки.
Итоговое упражнение
Построить автомат и проверить строки
- Объединить темы модуля и объяснить выбор решения.
- Проверить нормальный, граничный и ошибочный сценарии.
- Обосновать корректность, время и память; приложить результаты проверки.