Бэкуса-Наура - метаязык для описания формальных конструкций в программировании:
Вместо диаграммы можно строить таблицу переходов:
Если правила рекурсивные, то и проверка будет содержать рекурсию:
Интерпретатор с исполнителем работают последовательно:
Компилятор - транслятор, который совмещает разбор программы на языке программирования с передачей команд исполнителю:
Лексема - смысловой элемент:
Лексический анализ выражений можно в среде Корректора:
Математическая индукция - универсальный способ доказательства утверждения:
Метаязык - язык, при помощи которого описывают другие языки:
Программа демонстрирует математическую индукцию Индукция (n) как рекурсивный процесс:
Самое трудное для лексического анализа выражений - построить правильную диаграмму: