Você está na página 1de 4

CENTRO UNIVERSITÁRIO DE JOÃO PESSOA

PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO – PR-EG


CURSO DE CIÊNCIA DA COMPUTAÇÃO

Componente Curricular: Teoria da Computação


Professor: Hilário Tomaz Alves de Oliveira
Semestre: Período: Turma: Data de Entrega:
2019.1 5° Noite 16/04/2019

Lista de Exercícios 2 – Linguagens Livres de Contexto

Questão 1. Responda a cada item usando a seguinte Gramática Livre de Contexto (GLC).

R→ XRX | S

S → aTb | bTa

T → XTX | X | 𝜀

X→a|b

a) Quais são as variáveis de G?


b) Quais são os terminais de G?
c) Qual é a variável inicial de G?
d) Apresente três cadeias em L(G).
e) Apresente três cadeias que não estão em L(G).
f) Verdadeiro ou Falso: T ➔ aba, ou seja, T produz a cadeia aba aplicando uma
única derivação de forma direta?
g) Verdadeiro ou Falso: T ➔* aba, ou seja, T produz a cadeia aba aplicando várias
derivações?

Questão 2. Existe alguma relação entre as linguagens regulares e as linguagens livres de


contexto?

Questão 3. Apresente as árvores sintáticas para cada uma das cadeias a seguir usando a
Gramática Livre de Contexto G descrita a seguir:
E→E+T|T
T→T*F|F
F → (E) | a
a) a
b) a+a
c) a+a*a
d) ((a))

Questão 4. Construa gramáticas livre de contexto que gerem cada uma linguagem livre
do contexto. Em todas as linguagens o alfabeto é Σ = {0,1}.

a) {w | w contém pelo menos três 1s}.


b) {w | w começa e termina com o mesmo símbolo}.
c) L = {0n1n+104 | n ≥ 0}.
d) {w| w = wR, ou seja, w é um palíndromo}.
e) L = {0m#1m+2| m ≥ 1}.
f) L = {a3bncn | n ≥ 0}

Questão 5. Seja a gramática livre de contexto G = ({A, B}, {a, b}, R, A) em que R é
constituído elas quatros regras:

A → aA | B

B → bB | 𝜀

Qual a linguagem que é gerada por G? Prove sua resposta.

Questão 6. Seja G a seguinte gramática livre de contexto.

P → AB

A → aAb | c

B → bBc | a

a) Desenvolva uma derivação mais à esquerda para a cadeia acbbbacc


b) Defina a linguagem L(G) usando a notação de conjunto.

Questão 7. Abaixo são apresentadas duas linguagens formais sobre o alfabeto {a,b,c}:
L1 = { anbn | n>1 }
L2 = { bnapcq | n≥0, p≥0, q≥0 }

Considere as seguintes afirmações:

I. L1 é uma linguagem regular.


II. L2 é uma linguagem regular.
III. L2 é uma linguagem livre de contexto.

Quais estão corretas?

a) Apenas I.
b) Apenas II.
c) Apenas I e III.
d) Apenas II e III.
e) I, II e III.

Questão 8. Considerando as linguagens L = {0n1n2i | n ≥ 0 e i ≥ 0} e M = {0i1n2n | n ≥ 0


e i ≥ 0}, pode-se afirmar que:

a) A linguagem L ∪ M pode ser gerada por uma gramática livre de contexto.


b) A linguagem M pode ser gerada por um Autômato Finito Não Determinístico.
c) A linguagem L pode ser aceita por um autômato finito determinístico.
d) A linguagem L ∩ M pertence à classe das linguagens livres de contexto.
e) A linguagem M pode ser denotada por uma expressão regular.

Questão 9. Considere, a seguir, a gramática livre de contexto:

S → aS|Sb|c

Qual expressão regular gera a mesma linguagem que a gramática definida acima?

a) a*cb*
b) a+b+c
c) a+cb+
d) ca*b*
e) ca+b+
Questão 10. Converta o Autômato Finito Determinístico M a seguir para uma Gramática
Livre de Contexto G, tal que L(M) = L(G).

Observação: A resolução desta lista de exercícios deve ser feita de forma


manuscrita.