De acordo com Menezes (2005, p.85), uma gramática utilizada...

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: