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

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

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

- повторное определение переменной в том же блоке видимости;  

- правильное количество параметров функции и их типы;  

- корректность типов значений в операциях;  

- допустимость левой части в присвоении.