Algoritmos e Estrutura de Dados · IF-MG · 2024 | Questão sqc-qg240208

Algoritmos e Estrutura de DadosAlgoritmos

Código: qg240208
Banca: IF-MG
Órgão: IF-MG
Ano: 2024
Nível: Superior

Cargo: PROFESSOR EBTT - Sistemas da Computação - Bambuí

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:

AII, III e IV, apenas
BI, III e IV, apenas.
CI, II e IV, apenas.
DI, II e III, apenas.
EI, II, III e IV.

Revelar gabarito e comentário

GabaritoB — I, III e IV, apenas.

Comentário gerado por IA. É um apoio ao estudo, ancorado em fontes, mas pode conter imprecisões — confira sempre na fonte oficial (lei, súmula, edital e gabarito da banca). Encontrou um erro? Use “Reportar”.

Linguagens livres de contexto e gramáticas livres de contexto

Gabarito: letra B. As afirmações I, III e IV estão corretas; a afirmação II é falsa porque o conceito de "estritamente livre de contexto" não se aplica a linguagens que são também regulares – toda linguagem regular é livre de contexto, e o termo "estritamente" costuma designar aquelas que não são regulares.

A questão cobra conhecimentos sobre linguagens livres de contexto (LLC) e gramáticas livres de contexto (GLC), centrais em compiladores e linguagens de programação. Vamos analisar cada item.

Linguagens livres de contexto (LLC): Hierarquia de Chomsky (Regulares ⊂ LLC, Estritamente LLC = não regulares); Gramáticas (GLC) (Capturam aninhamento recursivo, Metalinguagens: BNF, EBNF); Representação (Árvores de derivação (parse trees))

Item I — ✅ Correta

Fundamento: Gramáticas livres de contexto capturam construções aninhadas recursivas (ex.: parênteses aninhados, blocos dentro de blocos), essenciais para a sintaxe de linguagens de programação.

A afirmação está correta. É exatamente essa capacidade de representar aninhamento que torna as GLC adequadas para definir a sintaxe de linguagens de alto nível.

Item II — ❌ Incorreta

Erro conceitual: O termo "estritamente livre de contexto" não é usado para LLC que são também regulares. Na hierarquia de Chomsky, toda linguagem regular é livre de contexto, mas o adjetivo "estritamente" (ou "própria") é reservado para LLC que não são regulares. A afirmação inverte o sentido.

Portanto, a afirmação está errada.

Item III — ✅ Correta

Fundamento: Metalinguagens como BNF (Backus-Naur Form) e EBNF foram criadas para formalizar GLC de maneira concisa e legível.

A afirmação está correta. Essas notações são amplamente usadas na definição de sintaxe de linguagens de programação.

Item IV — ✅ Correta

Fundamento: Árvores de derivação (parse trees) representam graficamente a estrutura hierárquica de sentenças geradas por GLC, sendo fundamentais tanto na teoria quanto na prática de implementação de compiladores.

A afirmação está correta.

Conclusão: Estão corretos os itens I, III e IV. Portanto, a alternativa que contém apenas esses itens é a letra B.

PEGA ESSA DICA!

Na hierarquia de Chomsky, as linguagens regulares estão contidas nas livres de contexto. Uma LLC que não é regular é chamada de "estritamente" ou "propriamente" livre de contexto. Decore: toda regular é LLC, mas nem toda LLC é regular. Essa inversão é clássica em questões.

Gabarito: letra B.

Link permanente: /questoes/qg240208