Folha 2.

Autmatos e respectivas linguagens

1. Identifique os AFD gerados a partir das seguintes expresses regulares :

a) s+
b) s? , que corresponde a s +
c) (s + t) (s + t)
d) (s + t)*
2. Determine os AFD que aceitam as seguintes linguagens geradas sobre o alfabeto V = { 0, 1 }.
a) O conjunto das frases que terminam por 00.
b) O conjunto das frases que possuem uma subfrase formada por uma sequncia de trs zeros.
c) O conjunto das frases cujos blocos de 5 smbolos consecutivos possuem, pelo menos, um zero.
d) O conjunto das frases cujo penltimo smbolo seja zero.
3. Considere o alfabeto V = { 0, 1 }.
a) Determine o AFD que aceite a linguagem formada pelo conjunto das frases que possuem a
subfrase 1 0 0 1 e terminam com 0.
b) Verifique se a frase 1 0 1 0 0 1 1 0 1 0 aceite pelo AFD. Justifique atravs da apresentao da
sequncia dos estados atingidos.
4. Considere o alfabeto V = { F, T }.
a) Determine o AFD que aceite a linguagem, sobre V, formada pelo conjunto das frases que se
iniciam com a subfrase T F F T , depois do sexto smbolo (inclusive) contenham a sub-frase
T T F e terminem com o smbolo F .
b) Verifique se a frase T F F T F T T F T F aceite pelo AFD construdo na alnea anterior
(apresente a sequncia de estados atingidos por cada uma delas)

Autmatos e respectivas linguagens

5. Considere o alfabeto V = { 0, 1, 2 }.
a) Determine o AFD que aceite a linguagem formada pelo conjunto das frases que se iniciam
com a subfrase 0 1 2 , depois contenham a subfrase 2 1 0 2 1 e terminem com o smbolo 1 .
b) Verifique se a frase 0 1 2 0 2 1 0 2 1 0 2 1 aceite pelo AFD construdo na alnea anterior
(apresente a sequncia de estados atingidos por cada uma delas)
6. Considere-se o alfabeto V = { digito, sinal, ponto }. O conjunto de nmeros decimais gerado
pela seguinte expresso regular :
(sinal + digito) (digito)* ponto digito (digito)*
Identifique o AFD que reconhece a linguagem definida por esta expresso regular.
7. Considere a seguinte expresso regular :
(a) (a + b)* b.
a) Identifique o AFD que permite reconhecer as sequncias definidas pela expresso regular.
b) Verifique se o reconhecedor aceita as seguintes entradas como fazendo parte da linguagem
definida pela expresso regular :
(i) a
(ii) b
(iii) a b b
(iv) a b a
8. Considere a linguagem definida pela seguinte expresso regular :
a (b + c) + b (c + )
a) Indique quais as sequncias pertencentes linguagem indicada :
(i) a b c c c b c
(ii) a c c c b b c
(iii) a b b b b b c
(iv) a c b
b) Identifique um AFD que modele o reconhecedor da linguagem indicada. De seguida,
apresente o AFD equivalente.
9. Identifique a expresso regular que define os nmeros reais de vrgula fixa, mas sem zeros
suprfluos esquerda ou direita da vrgula. Por exemplo, a linguagem inclui os nmeros 0,0
e 123,01 mas no aceita 0.00 nem 010.0. Indique o AFD que reconhea essa linguagem.

10. Considere a seguinte expresso regular :

a (ab* + ba*) b*
Converta a expresso regular num AFD.
11. Considere a seguinte expresso regular :
(a + b)* + cd (a + b)*
Identifique o AFD que modela um reconhecedor da linguagem gerada pela expresso regular.

Folha prtica 2

Autmatos e respectivas linguagens

12. Considere o seguinte protocolo de transmisso de mensagens binrias entre 2 computadores.

O incio e o fim da transmisso marcado pelos caracteres, respectivamente, 00 e 11. As
mensagens so obrigatoriamente iniciadas por 3 bits, indicativos do seu comprimento. Entre 2
mensagens h um separador constitudo pelo padro 101. Em todas as transmisses h, no
mnimo, uma mensagem a transmitir.
Um exemplo de transmisso vlida de mensagens dado por :
init size msg sep size msg end
00 010 11 101 001
1
11
a) Escreva a gramtica descritora da transmisso de mensagens.
b) Converta a gramtica numa expresso regular.
c) Converta a expresso regular num AFD.
d) Codifique o reconhecedor na linguagem de programao C.
13. Determine uma gramtica regular geradora da linguagem aceite pelo autmato
A = (Q, T, M, q0, H)
onde
Q = { q0, q1, q2, q3 }
T = { a, b }
H = { q0 }
M
q0
q1
q2
q3

e M tal que

a
q2
q3
q0
q1

b
q1
q0
q3
q2

14. Considere a seguinte tabela de transio de um autmato de pilha :

q

q'

q1
q2

q2
q2

q2

q2

1 1

q2

q2

2 1

q2

q2

q2

q2

1 2

q2

q2

2 2

q2
q2

3
3

q3
q3

q2

q3

q3

q3

q3

q3

Simule o comportamento do autmato de pilha apresentado perante as seguintes situaes :

a) 1 2 1 1 3 1 1 2 1
b) 1 1 2 1 1 3 1 1 2 1

Folha prtica 2

Autmatos e respectivas linguagens

c) 1 2 1 3 1 2 1 1
d) 1 2 1 1 3 1 1 2 1 1
e) 1 1 2 2 2 2 1 1

15. O autmato de pilha pode ser usado no clculo de expresses representadas em notao psfixada. Na notao ps-fixada so apresentados em primeiro lugar os dois operandos e depois
o operador : por exemplo, 2 3 * representa 2 3. Na notao ps-fixada no h parntesis,
porque a posio dos operadores determina a ordem no clculo das expresses : por exemplo,
2 3 4 * + representa a expresso 3 4 + 2 e 2 3 4 + representa ( 3 + 4 ) 2.
Identifique um autmato de pilha que determina se a expresso de entrada apresentada
segundo a notao ps-fixada.
Sugesto : Considere a entrada terminada sempre por um smbolo especial, $. No final do
reconhecimento, a pilha do autmato de pilha deve conter um nmero (o valor da expresso).
16. Identifique um autmato de pilha que reconhea uma linguagem de parntesis, cujo alfabeto
V = { (, ), [, ], <, > }.
17. Pretende determinar-se um autmato de pilha, A, tal que :
L(A) = { an bn : n = 1, 2, ... }

Folha prtica 2