Формальные исполнители

Содержание и основные понятия

← Вернуться к карте тем
Alterna · глава 32
Формальные исполнители
От команды к новому состоянию: выполни по шагам, найди отказ и докажи, что алгоритм решает задачу.
Формальный исполнитель не понимает намерение автора. Для каждого шага известны среда, текущее состояние и система команд. Команда либо переводит исполнителя в новое состояние, либо неприменима и вызывает
отказ
.
суть и практика
8–9 класс
практическая глава
ALT
Миссия Робота Alt
Сначала попробуй стрелку до старта и увидишь формальный отказ. Затем запусти миссию: до цели есть маршрут ровно из 7 команд.
ПОЛЕ 5 × 4
Команд: 0 · минимум: 7
СОСТОЯНИЕ
Миссия не начата
Нажми стрелку до «Старт», чтобы проверить применимость команды.
01
Модель формального исполнителя
Среда
поле, стены, плоскость
+
Состояние
положение, курс, перо
+
СКИ
допустимые команды
→
Результат шага
новое состояние или отказ
Исполнитель
Объект, который выполняет команды буквально. Автор алгоритма выбирает команды, исполнитель не догадывается.
Система команд
СКИ задаёт допустимые команды, параметры и точный смысл каждой операции.
Применимость
Перед действием проверяется, разрешён ли переход в текущей среде.
Постусловие
Отсутствие отказа ещё не означает успех: после выполнения должна быть достигнута цель задачи.
02
Первый запуск
Робот стоит в центральной верхней клетке. Справа от него красная стена. Выполни команду «вправо» и наблюдай формальный результат.
Команда:
вправо
Исполнитель проверит применимость команды перед изменением состояния.
Нажми «Выполнить команду».
03
Маршрут главы
32.1 · среда и прямые команды
Робот
Стены на рёбрах клеток, цель, закраска, синтаксическая ошибка, логическая ошибка и первый отказ.
32.2 · общий алгоритм
Циклы и условия
Школьный алгоритмический язык в КуМир, датчики среды, нц … кц, если … все и скрытые тестовые среды.
32.3 · координатная плоскость
Черепашка
Точные координаты, математический курс, перо, повторения, многоугольники и автомасштаб.
32.4 · закрепление
Практикум
10 вопросов из банка: одна попытка, немедленный разбор и воспроизводимый ID.
32.5 · контроль
Проверка навыка
8 минут, четыре варианта ответа и визуальные задачи без подсказки о правильности до завершения.
04
Связь с экзаменами
Глава формирует базовые навыки, но тематическая диагностика не называется полным вариантом ОГЭ или ЕГЭ.
ОГЭ №15 · основа
Программа для Робота
Условия среды, циклы, закрашивание и программа, работающая во всех допустимых положениях.
ЕГЭ №6 · основа
Алгоритм Черепахи
Координаты, повторения, замкнутые фигуры и анализ результата на плоскости.
ОГЭ №5 / ЕГЭ №5 · мост
Формальное исполнение
Выполнение цепочки команд и восстановление исходного значения переходят к числовым автоматам.
практика
Практические работы
Ручное и компьютерное выполнение, преобразование записи, разработка и отладка алгоритма.
05
Граница главы
Что дальше
Здесь команды принадлежат фиксированному исполнителю. Переменные, типы, ввод, функции и программы общего назначения начинаются в следующих главах программирования.