Considere as seguintes afirmativas:

I. Montadores, interpretadores e compiladores são ferramentas tipicamente usadas na tradução de programas-fonte para programasobjeto.

II. Análise e Síntese são as duas etapas típicas do processo de compilação e, de forma geral, visam, respectivamente, validar e traduzir o programa-fonte.

III.. Compiler-Compiler é um compilador genérico capaz de compilar programas fonte escritos em qualquer linguagem de programação.

IV. Autômatos Finitos, Expressões Regulares e Gramáticas Livres de Contexto são dispositivos formais usualmente empregados na especificação formal de linguagens de programação.

V. Os aspectos estruturais e semânticos de linguagens de programação são tipicamente avaliados na compilação e na execução de um programa, respectivamente.

Assinale a alternativa correta.