Алгоритм. Построение нисходящего анализатора

Вход

• Контекстно-свободная грамматика
• Построенные для этой грамматики множества SELECT

Выход

управляющая таблица для $\delta$ нисходящего анализатора (ДАМП или НАМП) с

• Одним состоянием
• Стековым алфавитом $\Delta =\Sigma \cup \Gamma$
• Начальным содержимым стека $S$ (аксиома)

Алгоритм

Замечание

Если входная грамматика является LL(1)-грамматикой, то построенный автомат будет детерменированным