Семантический анализ (компиляторы)

Семантический анализ или контекстно-зависимый анализ - это процесс построения компилятора, обычно после синтаксическогоанализа, для сбора необходимой семантической информации из исходного кода. обычно он включает проверку типаили гарантирует , что переменная объявлена перед использованием, которую невозможно описать в расширенной форме Backus–Naur и поэтому нелегко обнаружить во время синтаксического анализа.

См. также

• Атрибутивная грамматика
• Контекстно-зависимый язык
• Семантический анализ (информатика)