В чем отличие синтаксического и семантического анализа?

Question

[Дима Соколов]

В процессе лексического анализа из исходного кода создается набор токенов. На этапе синтакического анализа на их основе строится дерево. А что происходит на этапе семантического анализа? Тем более, я читал, генерация кода производится на основе AST.

Answer 1

[Alexander Movchan]

На этапе семантического анализа строится таблица символов, производится проверка типов и т.д.

То есть, програма может быть синтаксически верна, но содержать семантические ошибки:

int a = 0;
int *ptr = &b; // b - неопределено
ptr = a; // нет неявного приведения числа к указателю

Answer 2

[NonameProgrammer]

Семантика задаёт смысл. А семантический анализатор эту семантику проверяет, т.е имеет ли программа смысл