Pgina 1 de 6

CAMPUS UBERLNDIA

Curso de Eng. de Computao/Sistemas de Informao

Disciplina de Teoria da Computao
1 Lista de Exerccios Valor: 5,0 pontos
Prof. Me. Stfano Schwenck Borges Vale Vita
Data de entrega: 17/03/2014

LISTA DE EXERCCIOS ENGENHARIA DE SOFTWARE

Nome: Augusto Marcelino Filho

RA:5117286

EXERCCIOS
1. O que alfabeto?
Alfabeto um conjunto finito e no vazio de smbolos. Geralmente, o alfabeto denotado por
.
2. Defina o conceito de cadeia.
Uma cadeia uma seqncia formada por smbolos pertencentes um mesmo alfabeto. As
cadeias no precisam necessariamente ter a mesma quantidade de smbolos.
3. Defina o conceito de linguagem e mostre um exemplo.
Linguagem um conjunto de cadeias formadas a partir de um mesmo alfabeto.
4. O que fechamento de um alfabeto?
Fechamento de um alfabeto o conjunto de todas as cadeias possveis de se formar a partir dos
smbolos deste alfabeto. Denota-se o fechamento de um alfabeto por *. Para o alfabeto =
{1} por exemplo, * seria formado por todas as seqncias possveis do smbolo 1, de
qualquer tamanho. Pode-se notar que, basta que o alfabeto possua um nico smbolo (conjunto
no vazio) para que o seu fechamento seja infinito.
5. Como se pode descrever uma linguagem formal?
Uma linguagem formal pode ser descrita por um model o reconhecedor ou por um modelo
gerador. Um modelo reconhecedor um modelo matemtico capaz de percorrer (varrer) uma
cadeia de smbolos construda a partir de um alfabeto e, ao final desta varredura, identificar
se esta cadeia faz parte ou no da linguagem descrita por ele. Neste contexto, a linguagem
descrita pelo modelo corresponde ao conjunto formado por todas as cadeias que ele aceita. J
um modelo gerador um modelo capaz de gerar (produzir) as cadeias que fazem parte de uma
linguagem definida a partir de um alfabeto. Neste contexto, a linguagem descrita pelo modelo
corresponde ao conjunto de todas as cadeias que ele capaz de gerar (produzir).
6. Descreva sobre as aplicaes de LFA (Linguagens Formais e Autmatos).
Entre as principais aplicaes, pode-se destacar:
anlise de linguagens de programao lxica e sinttica;
modelos de sistemas biolgicos;
desenho de hardware;
relacionamentos com linguagens naturais;

Pgina 2 de 6

CAMPUS UBERLNDIA

Curso de Eng. de Computao/Sistemas de Informao

Disciplina de Teoria da Computao
1 Lista de Exerccios Valor: 5,0 pontos
Prof. Me. Stfano Schwenck Borges Vale Vita
Data de entrega: 17/03/2014

processamento de imagens ou viso computacional (reconhecimento de padres);

7. Defina o conceito de subpalavra.
Dadas x e y, cadeias pertencentes *. Uma cadeia x uma subpalavra de uma cadeia y se
w,u * tal que y=wxu .
8. Prove que se uma cadeia x prefixo de uma cadeia y e y tambm prefixo de x, ento x e y
so iguais.
Se x prefixo de y, ento y = xz, com x, y e z *;
Se y prefixo de x, ento x = yu, com x, y e u *;
Se y = xz e x = yu, ento (por substituio) podemos dizer que x = xzu;
Se x = xzu, ento podemos dizer que zu = , pois o elemento neutro da operao de
concatenao;
Se zu = , ento podemos dizer que z = e u = ;
Assim, tomando a afirmao inicial y = xz, temos que y = x = x. Ou seja, y = x sempre que
y for prefixo de x e x for prefixo de y ao mesmo tempo.
9. Prove que se uma cadeia x prefixo de uma cadeia y e y prefixo de uma cadeia z, ento x
prefixo de z.
Se x prefixo de y, ento y = xu, com x, y e u *;
Se y prefixo de z, ento z = yv, com z, y e v * ;
Se y = xu e z = yv, ento (por substituio) podemos dizer que z = xuv;
Se z = xuv, ento, de acordo com a definio de prefixo, temos que x prefixo de z;
10. Dados L1={a, ab} e L2={ a, ba}, linguagens sobre o alfabeto {a, b}, determine:
a) L1 L2 = {a}
b) L1 U L2 = {a, ab, ba}
c) L1 L2 = {ab}
d) L2 L1 = {ba}
e) L1.L2 = {aa, aba, aab, abba}
11. Exemplifique gramtica livre de contexto, gramtica sensvel ao contexto e gramtica
regular.
Gramtica livre de contexto (GLC)
Em Linguagem formal, uma gramtica livre-do-contexto (GLC) uma gramtica formal em
que cada regra de produo da forma V w onde V um nico smbolo noterminal(Varivel), e w uma cadeia de terminais e/ou variveis (w pode ser a cadeia vazia).
Gramtica Regular (GR)
Uma linguagem regular uma linguagem que pode ser descrita por uma gramtica linear.

Pgina 3 de 6

CAMPUS UBERLNDIA

Curso de Eng. de Computao/Sistemas de Informao

Disciplina de Teoria da Computao
1 Lista de Exerccios Valor: 5,0 pontos
Prof. Me. Stfano Schwenck Borges Vale Vita
Data de entrega: 17/03/2014

Gramtica sensvel ao contexto (GSC)

uma gramtica formal em que os lados esquerdo e direito de qualquer regra de produo
podem ser cercados por um contexto de smbolo terminal e smbolo no-terminal. Gramticas
sensveis ao contexto so mais gerais do que as gramticas livres de contexto mas ainda
ordenadas o suficiente para serem verificadas por um autmato linearmente limitado
12. Dadas as seguintes gramticas:

a. Descreva qual a linguagem gerada por G1.

G1 = {an, (bb)n | n>0, m0}
b. Descreva qual a linguagem gerada por G3.
G3 = {an, bm, bm | n>0, m0}
c. Mostre a derivao de uma sentena atravs de cada gramtica acima.
G1 = {an, (bb)n | n>0, m0}
S AB
A aAB
A aaB
B aabbB
B aabb
G3 = {an, bm, bm | n>0, m0}
S AB
A aB
B abBb
A abbBbb
A abbbb

Pgina 4 de 6

CAMPUS UBERLNDIA

Curso de Eng. de Computao/Sistemas de Informao

Disciplina de Teoria da Computao
1 Lista de Exerccios Valor: 5,0 pontos
Prof. Me. Stfano Schwenck Borges Vale Vita
Data de entrega: 17/03/2014

d. Mostre a derivao da sentena abbabb a partir de G1 e G3, isto , a partir

das gramticas G1 e G3 tente validar a sentena abbabb.
G1 = {an, (bb)n | n>0, m0}
S AB
A aB
B abbB
B aabb
A sentena no valida apartir de de G1
G3 = {an, bm, bm | n>0, m0}
S AB
A aB
B abBb
B abb
A sentena no valida apartir de de G3
e. A partir da gramtica G2 faa a derivao e tente validar as
seguintes strings/sentenas: lnnnnl, lln, l, lllllnnn.
G2 = {ln, lm, np | n=1, m0, p0}
lnnnnl,
S LC
L lC
C lnC
C lnnC
C lnnnC
C lnnnnC
C lnnnnl
lln,
S LC
L lC
C llC
C lln
l,
S LC
L lC

Pgina 5 de 6

CAMPUS UBERLNDIA

Curso de Eng. de Computao/Sistemas de Informao

Disciplina de Teoria da Computao
1 Lista de Exerccios Valor: 5,0 pontos
Prof. Me. Stfano Schwenck Borges Vale Vita
Data de entrega: 17/03/2014

C l
lllllnnn
S LC
L lC
C llC
C lllC
C llllC
C lllllC
C lllllnC
C lllllnnC
C lllllnnn
13. Construa uma gramtica livre de contexto que gere a linguagem:
L = {0 i 1 j 2 k | i, j, k > 0}
L = {(A, B, C), (0, 1, 2), P, S}
S = {S, A, B, C}
P={
1) S ABC
2) A 0 | 0A
3) B 1 | 1B
4) C 2 | 2B
}
14. Dadas as seguintes gramticas:

a) Descreva qual a linguagem gerada por G1.

Pgina 6 de 6

CAMPUS UBERLNDIA

Curso de Eng. de Computao/Sistemas de Informao

Disciplina de Teoria da Computao
1 Lista de Exerccios Valor: 5,0 pontos
Prof. Me. Stfano Schwenck Borges Vale Vita
Data de entrega: 17/03/2014

b) Descreva qual a linguagem gerada por G2.

G2 = {an, bn, an | n0, m=1}
c)
d)
e)
f)
g)
h)
i)

Descreva qual a linguagem gerada por G3.

Verifique se a cadeia abaabb pertence linguagem L(G1)
Verifique se a cadeia ababb pertence linguagem L(G1)
Verifique se a cadeia aabaa pertence linguagem L(G2)
Verifique se a cadeia aaba pertence linguagem L(G2)
Verifique se a cadeia acaca pertence linguagem L(G3)
Verifique se a cadeia aabcaca pertence linguagem L(G3)
Bom trabalho a todos!