Com relação a linguagens de programação e compiladores, julgue o item subsequente.

A etapa de análise semântica de um compilador tem como objetivo verificar os inter-relacionamentos de um programa, validando tipologias, fluxos de controle e unicidade na declaração de variáveis.