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