Pergunta 1

0,5 em 0,5 pontos

Assinale a alternativa que apresenta uma linguagem livre de contexto em
seu sentido estrito, definida sobre o alfabeto = {a, b, c}:

Resposta
Selecionada:

e.

Respostas:

a.

L = {w | w constituda de trs sequncias de smbolos: a

e b, e c e o nmero de smbolos nas cadeias de a, b
devem apresentar o mesmo nmero de elementos}.

L = {w | w apresenta a subcadeia bb sucedida por uma

sequncia de smbolos quaisquer e finaliza com a
subcadeia cccc}.

b.
L = {w | w inicia-se com o smbolo a e apresenta por
sufixo a subcadeia bb}.

c.
L = {w | w inicia-se com o smbolo b e apresenta a
subcadeia aa}.

d.
L = {w | w constituda de trs sequncias de smbolos: a
b e c}.

e.
L = {w | w constituda de trs sequncias de smbolos: a
e b, e c e o nmero de smbolos nas cadeias de a, b
devem apresentar o mesmo nmero de elementos}.

Feedback
Comentrio: as alternativas a, b, c e d so regulares, ou seja, livres
da resposta: de contexto, mas no no seu sentido estrito. A alternativa e apresenta a
especificao de uma linguagem com duplo balanceamento, ou seja,
trata-se de uma linguagem livre de contexto, em seu sentido estrito

Pergunta 2
0,5 em 0,5 pontos
Assinale a alternativa que apresenta uma linguagem sensvel a contexto em seu
sentido estrito, definida sobre o alfabeto = {a, b, c}:
Resposta
Selecionada:

d.

Respostas:

a.

L = {w | w constituda de trs sequncias de smbolos: a

b e c. O nmero de smbolos nas cadeias de elementos a,
b e c deve apresentar o mesmo nmero de elementos}.

L = {w | w um palndromo}.
b.
L = {w | w inicia-se com o smbolo a e apresenta por
sufixo a subcadeia bb}.

c.
L = {w | w inicia-se com o smbolo b e apresenta a
subcadeia aa}.

d.
L = {w | w constituda de trs sequncias de smbolos: a
b e c. O nmero de smbolos nas cadeias de elementos a,
b e c deve apresentar o mesmo nmero de elementos}.

e.
L = {w | w constituda de trs sequncias de smbolos: a,
b e c. O nmero de smbolos nas cadeias de elementos a
e b deve apresentar o mesmo nmero de elementos}.

Feedback
da
resposta:

Comentrio: as alternativas a e e dizem respeito a

linguagens livres de contexto e as alternativas b e c dizem
respeito a linguagens regulares. Essas linguagens so
sensveis a contexto, mas no no seu sentido estrito. A nica

linguagem sensvel a contexto no seu sentido estrito

especificada na alternativa d.

Pergunta 3
0,5 em 0,5 pontos

Resposta Selecionada: b.
.

Respostas:

a.
.

b.
.

c.
.

d.
.

e.
.

Feedback
Comentrio: nesta alternativa, representa-se a transio do estado q0 para o
da resposta: estado qf, mediante a presena do smbolo a na cadeia de entrada e a
presena do mesmo smbolo no topo da pilha. Por outro lado, a representao
grfica do autmato indica que a transio do estado q0 para o estado qf se
faz sem consulta ao topo da pilha do autmato

Pergunta 4
0,5 em 0,5 pontos

Resposta Selecionada: c.
abba

Respostas:

a.
ababb

b.
aaaaa

c.
abba

d.
bbabb

e.
ababa

Feedback
Comentrio: observe-se que, aps a leitura da subcadeia abb, ocorrem trs
da resposta: inseres do smbolo "a" na pilha. A leitura do smbolo a, que se sucede na
cadeia de entrada, pode resultar em duas transies: a primeira implicaria na
insero de um quarto smbolo a na cadeia e o autmato no atingiria o
estado final. Por outro lado, o autmato poderia transitar para o estado final qf,
porm a pilha se manteria no vazia

Pergunta 5
0,5 em 0,5 pontos

Resposta
Selecionada:

d.

Respostas:

a.

Trata-se de uma gramtica ambgua, pois a palavra x + x*x

apresenta duas rvores de derivao.

Trata-se de uma gramtica regular.

b.
Trata-se de uma gramtica ambgua, pois as suas produes
apresentam apenas um no terminal.

c.
Trata-se de uma gramtica ambgua, pois a palavra x+x*x
apresenta apenas uma rvore de derivao.

d.
Trata-se de uma gramtica ambgua, pois a palavra x + x*x
apresenta duas rvores de derivao.

e.
Trata-se de uma gramtica livre de contexto no ambgua.

Feedback
Comentrio: uma gramtica ambgua aquela que gera uma linguagem tal
da resposta: que, ao menos uma palavra pertencente a essa linguagem, apresenta duas ou
mais rvores de derivao. A palavra x+ x*x apresenta duas rvores de
derivao. Por outro lado, uma gramtica regular apresenta produes tais
que o lado direito das mesmas, se apresentarem smbolos terminais, estes
podem ser somente antecedidos, ou apenas sucedidos por um e somente um
smbolo no terminal. Assim sendo, a gramtica desta questo no regular.
Trata-se de uma gramtica livre de contexto. Quanto s gramticas livres de
contexto, a nica restrio diz respeito ao lado esquerdo da produo das
mesmas, que devem apresentar um e somente um smbolo no terminal. Do

lado direito da produo podem ocorrer quaisquer sequncias de smbolos

terminais e no terminais

Pergunta 6
0,5 em 0,5 pontos
Considere as seguintes afirmaes:
I - Se L uma linguagem livre de contexto, ento existe M, autmato de
pilha com controle de aceitao por estados finais com somente trs
estados, tal que M aceite L.
II - Se L uma linguagem livre de contexto, ento existe M, autmato de
pilha com controle de aceitao por pilha vazia, com somente um estado,
tal que M aceite L.
III - Os autmatos de pilha no determinsticos correspondem a uma classe
de linguagens livres de contexto mais abrangente que os autmatos de
pilha determinsticos.
Est correta a alternativa:

Resposta Selecionada: c.
As afirmativas I, II e III esto corretas.

Respostas:

a.
Apenas I.

b.
Apenas I e II.

c.
As afirmativas I, II e III esto corretas.

d.
Apenas II e III esto corretas.

e.
Apenas I e III esto corretas

Feedback da Comentrio: as afirmativas I e II constituem-se em teoremas. A toda

resposta:
linguagem livre de contexto corresponde um autmato de pilha no
determinstico, mas nem toda linguagem livre de contexto apresenta um
autmato de pilha determinstico

Pergunta 7
0,5 em 0,5 pontos
Considere as seguintes afirmaes a respeito das linguagens sensveis a
contexto.
I - Uma linguagem sensvel a contexto, em seu sentido estrito, pode ser
processada por uma mquina de turing com fita limitada.
II - Uma linguagem sensvel a contexto, em seu sentido estrito, pode ser
processada por uma mquina de estados com duas pilhas.
III - Toda linguagem livre de contexto sensvel a contexto, mas nem toda
linguagem sensvel a contexto livre de contexto.

Est correta a alternativa:

Resposta Selecionada: e.
Esto corretas as afirmaes I, II e III

Respostas:

a.
Apenas I e II.

b.
Apenas I e III.

c.
Apenas II e III.

d.
Apenas III.

e.
Esto corretas as afirmaes I, II e III

Feedback
da
resposta:

Comentrio: existe um teorema que garante o reconhecimento

de uma palavra de uma linguagem sensvel a contexto por
uma mquina de turingcom fita limitada. Por outro lado, uma
mquina de turing com fita ilimitada equivalente a um
autmato com duas pilhas. As gramticas sensveis a
contexto apresentam produes, tais que tanto no lado
esquerdo quanto no lado direito podem figurar quaisquer
sequncias de smbolos terminais e no terminais. A nica
restrio diz respeito ao comprimento da palavra do lado
esquerdo da produo, que deve ser menor que o lado direito
da produo. Por outro lado, as produes da gramtica livre
de contexto so mais restritas que as sensveis a contexto: no
lado esquerdo da produo deve figurar um e apenas um
smbolo no terminal. Assim sendo, toda linguagem livre de
contexto sensvel a contexto, mas nem toda linguagem
sensvel a contexto livre de contexto.

Pergunta 8
0,5 em 0,5 pontos
Um analisador sinttico, para apresentar bom desempenho, no deve
apresentar qual caracterstica?

Resposta
Selecionada:

d.

Respostas:

a.

Algoritmo reconhecedor no determinstico.

Linguagem
contexto.

descrita por uma gramtica livre de

b.
Desempenho polinomial.

c.
Algoritmo reconhecedor determinstico.

d.
Algoritmo reconhecedor no determinstico.

e.
Utilizao de uma estrutura de dados organizada em
pilha.

Feedback da Comentrio: o algoritmo reconhecedor no pode ser no determinstico.

resposta:
A presena de no determinismos implica que o reconhecedor deveria
"adivinhar" quais regras seriam aplicadas no processo de derivao de
algumas cadeias de entrada

Pergunta 9
0,5 em 0,5 pontos
O estudo de linguagens formais e autmatos aplicado no projeto e
implementao de linguagens de programao, bem como no
processamento computacional da linguagem natural. A esse respeito,
considere as afirmaes seguintes:
I - O estudo das linguagens regulares utilizado no projeto e
implementao do analisador lxico, mdulo funcional do compilador.
II - O estudo das linguagens livres de contexto utilizado no projeto e na
implementao do analisador sinttico, mdulo funcional do compilador.
III - A modelagem e o processamento das linguagens sensveis a contexto
so objetos de pesquisa da teoria da computao.
Qual alternativa est correta?

Resposta Selecionada: e.
As afirmativas I, II e III so corretas.

Respostas:

a.
Apenas I.

b.
Apenas II.

c.
Apenas III.

d.
Apenas II e III.

e.
As afirmativas I, II e III so corretas.

Feedback
da
resposta:

Comentrio: a hierarquia de Chomsky apresenta quatro tipos de

linguagens, a saber: regulares, livres de contexto, as sensveis a
contexto e as recursivamente enumerveis. O analisador lxico o
mdulo funcional do compilador, que faz a varredura sobre o cdigo fonte
e classifica as palavras em tokens. Para isso, emprega autmatos
finitos. O analisador sinttico, outro mdulo funcional do compilador, tem
por objetivo verificar se as estruturas sintticas esto corretas. So
exemplos de estruturas sintticas, os comandos da linguagem e as
declaraes de variveis, as declaraes de classes etc. Para isso,
emprega os resultados advindos do estudo das linguagens livres de
contexto. No que diz respeito ao estudo das linguagens sensveis a
contexto, sabe-se que so processadas por uma mquina de turing com
fita limitada, mas essa mquina conceitual. O processamento das
linguagens sensveis a contexto objeto de pesquisa.

Pergunta 10
0,5 em 0,5 pontos

Resposta Selecionada: b.
.

Respostas:

a.
.

b.
.

c.
.

d.
.

e.
.

Feedback da resposta: .

Segunda-feira, 4 de Maio de 2015 14h56min45s BRT