Universidade Federal do Ceará

Campus Russas

Linguaguens Formais e Autômatos

Lista de exercı́cios 1

1. Um número n ∈ Z é dito par, se existe k ∈ Z tal que n = 2k, e dito ı́mpar caso n = 2k + 1. Mostre as
seguintes afirmações:
a) se x é ı́mpar, então x2 é ı́mpar. Use demonstração direta.
b) se x e y são ı́mpares, então xy 2 é ı́mpar. Use demonstração direta.
c) se x é par e y é ı́mpar, então y(x + 1) é ı́mpar. Use demonstração direta.
d) se x é inteiro, então ou x é par ou x é ı́mpar. Use demonstração por contradição.
e) x é par se e somente se x2 é par. Use demonstração direta na ida (⇒) e contradição na volta (⇐).

2. Um número n ∈ Z é divisı́vel por 8 se existe k ∈ Z tal que n = 8k. Mostre que, se n é ı́mpar, então
n2 − 1 é divisı́vel por 8.

3. Mostre que se T = (V, E) é uma árvore, então T possui pelo menos uma folha (vértice de grau até um).

4. Utilizando a prova por construção:

a) Mostre que existem inteiros a, b e c tais que a2 + b2 = c2 .
b) Mostre que existem infinitos inteiros a, b e c tais que a2 + b2 = c2 , isto é, temos infinitos inteiros que
podem ser a, infinitos inteiros que podem ser b e infinitos inteiros que podem ser c.

5. Prove por indução as seguintes igualdades

n
X
a) (2i − 1) = n2
i=1
n
X n(n + 1)
b) i=
i=0
2
n
X
c) i3 = (1 + 2 + 3 + ... + n)2
i=1
n
X 1 n
d) =
i=1
i(i + 1) n+1
n  
Y 1 1
e) 1− =
i=2
i n
6. O que são transições em vazio (ou transições ε)? A presença desse tipo de transição pode gerar não-
determinismos? Justifique.

7. Dê diagramas de estados de AFDs que reconhecem as linguagens a seguir. Em todos os casos Σ = {0, 1}.
a) {w | w começa com 1 e termina com 0}
b) {w | w contém pelo menos três 1’s}
c) {w | w contém a subcadeia 0101, isto é, w = x0101y para algum x e algum y}
d) {w | w não contém a subcadeia 110}
e) {w | w contém pelo menos dois 0s e no máximo um 1}
f) {w | w tem o antepenúltimo sı́mbolo igual a 0}
g) {1(6k) 1|k ≥ 0}, neste caso suponha que Σ = {1}

8. Dê o diagrama de estados de AFNDs da questão anterior.

9. Seja Σ um alfabeto. Mostre que as seguintes afirmações são verdadeiras:

a) Se u ∈ Σ∗ , então {u} é uma liguagem regular.
b) Se L ⊆ Σ∗ é finito, então L é uma linguagem regular.

10. Prove que se L1 e L2 são linguagens regulares, então L1 − L2 é liguagem regular.

11. Construa um autômato finito determinı́stico equivalente ao autômato cuja função de transição é:
δ(q0 , a) = {q1 , q2 }, δ(q1 , b) = {q1 , q3 }, δ(q2 , b) = {q1 }, δ(q2 , c) = {q3 }, δ(q3 , d) = {q3 } com F = {q3}.

12. Considere a função de transição abaixo de um AFD. Descreva informalmente qual a linguagem que o
AFD aceita e mostre, por indução, que sua descrição está correta.

0 1
→A A B
∗B B A

13. Considere a seguinte função de transição de um AFND.

ε a b c
→p {q, r} ∅ {q} {r}
q ∅ {p} {r} {p, q}
r ∅ ∅ ∅ ∅

1. O ε− fechamento E(q) de um estado q é o conjunto {q} união estados que podem ser alcançados,
apartir de q, por transições ε. Calcule o ε−fechamento de cada estado.
2. Forneça todos as cadeias de comprimento menores ou iguais a 3 aceitas pelo autômato.

2
 3. Converta o autômato em um AFD

14. Converta o AFND seguinte em um AFD e descreva informalmente a linguagem que ele aceita.

0 1
→p {p, q} {p}
q {r, s} {t}
r {p, r} {t}
∗s ∅ ∅
∗t ∅ ∅