Как работает семантический анализ?

Question

[Эрнэст Фарукшин]

Здравствуйте можете ли помочь с устройством компилятора. Я разобрался как работает лексер, парсер, но как-то не могу понять как работает семантический анализ. Можете пожалуйста объяснить или скинуть ресурсы где написано о нём с примерами.

Answer 1

[Rsa97]

Семантический анализ проверяет условия, которые невозможно описать в КС-грамматике. Примеры:
- повторное определение переменной в том же блоке видимости;
- правильное количество параметров функции и их типы;
- корректность типов значений в операциях;
- допустимость левой части в присвоении.