As linguagens livres de contexto são essenciais nas áreas de Linguagens de Programação e Compiladores, onde desempenham um papel central na definição da sintaxe de linguagens de alto nível. A sua importância reside, principalmente, na capacidade de capturar a estrutura recursiva de linguagens complexas. Sobre as linguagens livres de contexto, considere as seguintes afirmações:

I - A característica que torna as gramáticas livres de contexto especialmente adequadas à formalização sintática das linguagens de programação é a sua capacidade de representação de construções aninhadas, que são frequentemente encontradas em linguagens dessa categoria.

II - Uma linguagem L é dita estritamente livre de contexto se ela for livre de contexto e for regular.

III - Dado o elevado interesse pelas gramáticas livres de contexto, inúmeras notações, denominadas metalinguagens, foram desenvolvidas para facilitar a formalização sintática das linguagens artificiais.

IV - A representação da estrutura de sentenças ou formas sentenciais de linguagens livres de contexto, na forma de árvores bidimensionais, é um recurso muito utilizado, tanto na teoria quanto na prática da implementação de linguagens.

Assinale a alternativa que apresenta apenas afirmações corretas: