Teoria dos Autômatos

lista de exercı́cios 04

1. Construa autômatos que reconhecem as linguagens descritas pelas seguintes expressões regulares
(tente fazer sem usar o nenhum método sistemático visto em aula):

∗
∗
a) ba bba ∪ ba c) ba ab ∪ ba (ab)∗

∗
b) a aab ∪ aba a

2. Construa um autômato que reconhece a linguagem descrita pela expressão regular (tente fazer
sem usar o nenhum método sistemático visto em aula).

∗
a∗ ba ∪ bba ∪ bbba a∗

Agora, apresente uma expressão regular que descreve a linguagem reconhecida pelo autômato que
você construiu. (Pode usar o método sistemático, se quiser.)
Compare a expressão regular que você obteve com a expressão regular original.
3. Construa autômatos (determinı́sticos ou não) para as seguintes linguagens:

a) palavras que terminam com ab

b) palavras que não terminam com ab

c) palavras que possuem ao menos um bloco par de a’s

d) palavras que possuem ao menos uma ocorrência do padrão bb ou aba

e) palavras que possuem ao menos uma ocorrência dos padrões bb e aba

4. Determine as linguagens reconhecidas pelos autômatos não-determinı́sticos ilustrados abaixo.

(Nota: você pode apresentar uma propriedade ou uma expressão regular.)

q0 q1 q0 q1 q0 a q1
a a
a a
b b b
a
a b a b a
b
q2 q2 q2

q1
q0 q1 a q2
e a
e
q0 a q2
b
e b a

a b
q3
q3

1
5. Converta os autômatos não-determinı́sticos abaixo para autômatos determinı́sticos utilizando as
técnicas apresentadas.

6. Converta o AFnD-e abaixo para um autômato determinı́stico utilizando as técnicas.

7. Construa autômatos determinı́sticos que reconhecem as linguagens descritas pelas expressões

regulares abaixo.

∗
∗ ∗

∗

∗
a) b∗ aa aa bb ∪ a aa b b) b ∪ e ab ∪ a ∪ e ba

8. Descreva procedimentos para construir autômatos para as seguintes linguagens (não precisa
construir os autômatos apenas descrever como podemos obter os autômatos se usarmos as técnicas
vistas em aula).

a) palavras que não podem ser formadas pela concatenação dos blocos ab, baa, bab,
mas pode ser formadas pela concatenação dos blocos ba, abb, aba

b) palavras onde: se o padrão aba aparece então o padrão bab também deve aparecer;
mas se o padrão aba não aparece então o padrão bab pode aparecer ou não

c) palavras que nem podem ser formadas pela concatenação dos blocos ab, aa, ba
e nem possuem blocos de a’s de tamanho ı́mpar

d) palavras onde todo a é precedido ou sucedido por um bloco de b’s de tamanho ı́mpar