Questões sobre Compilador

Julgue o item subsequente, no que concerne a montadores, compiladores, ligadores e interpretadores.

Compilador é um software para criar aplicações que combinam ferramentas comuns de desenvolvimento em uma única interface gráfica de usuário. Esse programa ajuda os desenvolvedores na criação de novas aplicações de forma rápida, já que os vários utilitários não precisam ser ajustados e integrados manualmente durante a configuração.

Considerando a compilação e a interpretação de programas, no contexto de arquitetura de máquinas reais, analise as afirmativas a seguir:
I. A compilação é o processo de análise de um programa escrito em linguagem de alto nível (código-fonte) e sua conversão em um programa equivalente, porém em linguagem binária de máquina (código-objeto). II. A interpretação consiste na possibilidade de certas partes do código de um programa-fonte (por exemplo, um loop) terem que ser interpretadas somente uma única vez; enquanto, no método de compilação, isso acontece tantas vezes quantas definidas no loop. III. A interpretação caracteriza-se por realizar as três fases (tradução, ligação e execução), comando a comando, de um programa-objeto (código-objeto). IV. O programa que realiza a tarefa de compilação é denominado de compilador e, inicialmente, o compilador realiza uma análise do código-fonte, dividido em três (3) partes: análise léxica, análise sintática e análise semântica.
Estão CORRETAS as afirmativas 

Várias são as linguagens de programação utilizadas no desenvolvimento de aplicações. No entanto, uma linguagem de programação deverá possuir um “tradutor” do código-fonte (instruções do programa) para a linguagem de máquina. Este tradutor pode ser um interpretador ou um compilador, dependendo da linguagem de programação. Acerca do compilador, assinale a alternativa correta

De acordo com Menezes (2005, p.85), uma gramática utilizada em um compilador é, basicamente, um conjunto finito de regras, as quais, quando aplicada sucessivamente, geram palavras. O conjunto de todas as palavras geradas por uma gramática define a linguagem. A figura a seguir ilustra uma estrutura hierarquizada para os diferentes tipos de gramática de Chomsky:

Com base na hierarquia de Chomsky ilustrada pela figura acima, analise as afirmativas:

I-A Hierarquia de Chomsky é a classificação de gramáticas formais descrita em 1959 pelo linguista Noam Chomsky. Esta classificação possui 4 níveis (descritos na figura ao acima), sendo que os dois últimos níveis (os níveis 2 e 3) são amplamente utilizados na descrição de linguagem de programação e na implementação de interpretadores e compiladores. Mais especificamente, o nível 2 é utilizado em análise sintática (computação) e o nível 3 em análise léxica.
II-A proposta de Hierarquização de Chomsky agregou à ciência da computação um importante estudo sobre as linguagens ao mostrar que a partir de um conjunto ilimitado de regras poderíamos criar um conjunto ilimitado de frases, ou seja, uma linguagem.
III-A classificação das gramáticas começa pelo tipo 0, com maior nível de liberdade em suas regras, e aumentam as restrições até o tipo 3.

A partir do contexto apresentado, é CORRETO apenas o que se afirma em: 

Programas de computadores diretamente relacionados com serviços complementares do sistema operacional podem ser chamados de programas utilitários. Considerando os programas utilitários do sistema operacional, assinale a afirmativa INCORRETA.