Autômatos e Linguagens formais

atividade 03: resolução de exercı́cios

1. a) Argumente que se L é uma linguagem regular, então L − {e} também é regular.

b) Defina trunc(w) como a operação que remove o sı́mbolo mais à direita da palavra w (se
houver). Por exemplo
trunc(abba) = abb trunc(a) = e trunc(e) = e

Essa operação pode ser extendida para linguagens da seguinte maneira:

trunc(L) = {trunc(w) | w ∈ L}
Argumente que se L é uma linguagem regular, então trunc(L) também é regular.

2. Descreva as linguagens reconhecidas pelos autômatos não-determinı́sticos abaixo.

e b
a b a
e e e,b b a a a b
a q1 q2 b q3 q4
a a a b a a a
b
a

a,b

3. Construa autômatos (determinı́sticos ou não) para as seguintes linguagens.

a) Palavras que possuem ao menos uma ocorrência do padrão aba e do padrão bab
(Note que as duas ocorrências pode estar sobrepostas)
b) Palavras que possuem ao menos uma ocorrência de aba ou bab, mas não ambos

∗
c) Palavras que não tem a forma abb∗

4. Apresente expressões regulares para as linguagens reconhecidas pelos autômatos abaixo.

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

q0 q1 q2 q0 q1 q2
a a b a

b b b
b b

5. Apresente expressões regulares para as linguagens abaixo

a) Palavras que possuem um número par de a’s e um número par de b’s

b) {am bn | m + n é par}
c) Palavras que possuem ao menos um a isolado e ao menos uma ocorrência de bb

1
6. Construa autômatos determinı́sticos para as linguagens descritas pelas expressões regulares
abaixo.

∗
∗
∗
a) b ∪ ab a ∪ ab c) b∗ a ab∗

∗
∗
b) b ∪ aba ∪ a ∪ bab

7. Apresente versões determinı́sticas dos autômatos abaixo.

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

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

8. Nós dizemos que dois autômatos M1 e M2 são equivalentes se eles reconhecem exatamente
a mesma linguagem.
Identifique os pares de autômatos equivalentes na Figura abaixo.
Nota: Não basta apresentar exemplos, você deve justificar sua resposta de maneira rigorosa.
a a a a
a b
a
b b a
b b a b b a a
b
a a
b
b a b a
b b b

9. Apresente o autômato determinı́stico mı́nimo para as linguagens especificadas pelo (a) autômato,
(b) expressão regular e (c) propriedade abaixo.

a)
a b
a a

b
b a a,b
b

∗
b) (aa)∗ bb ∪ ab

c) Palavras que não possuem a’s isolados ou não possuem b’s

10. Prove que as linguagens abaixo não são regulares.

a) {an bn+1 | n ≥ 0}
b) Palavras formadas por a’s e b’s que não são palı́ndromes
c) Palavras onde todo bloco de a’s é seguido por um bloco b’s de tamanho diferente.