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: