O funcionamento das diversas linguagens de programação depende de fundamentos empregados na sua construção e operação. Com base no tema, analise as sentenças a seguir:

I- Em uma linguagem estaticamente tipada, um trecho de código pode estar sintaticamente correto e, ainda assim, ser rejeitado pelo compilador ou pelo analisador da linguagem por violação semântica.

PORQUE

II- A análise sintática verifica a conformidade do código com a gramática da linguagem, ao passo que a análise semântica examina restrições de significado, como compatibilidade de tipos, uso de identificadores declarados e validade contextual de construções.

Analisadas as sentenças, assinale a alternativa CORRETA: