Universidade Estadual da Paraíba – Campus VII

Licenciatura em Ciência da Computação

Linguagens Formais – Rodrigo Alves Costa

Lista de Exercícios #1
Data entrega: 2012-09-10

1. Seja A o conjunto {x, y, z} e B o conjunto {x, y}.

a. A é um subconjunto de B?
b. B é um subconjunto de A?
c. O que é A U B?
d. O que é A I B?
e. O que é A x B ?
f. O que é o conjunto das partes de B?
2. Verifique se cada uma das seguintes relações é de equivalência.
a. Seja n um inteiro positivo e ~ a relação em Z definida por:
x ~ y ⇔ n | ( x − y) = n
b. S é a relação em R definida por xSy ⇔ x 2 = y 2
c. Em Z, a ≈ b ⇔ mdc(a, b) = 1
3. Prove que:
a. A soma de dois inteiros pares é par (faça uma demonstração por
construção).
b. A soma de dois inteiros pares é par (faça uma demonstração por
contradição).
c. Se n é um inteiro par, 4 < n < 12, então n é a soma de dois números
primos.
d. n2 > n + 1, para n > 2.
4. Seja Σ = { a, b }. Construa um autômato finito determinístico que reconheça cada
uma das seguintes linguagens:
a. L = { w ∈ Σ* | w tem um número ímpar de a’s e termina com um b}
b. L = {ε, a}.
5. Encontre o erro na seguinte prova que 2 = 1.
Considere a equação a = b. Multiplique ambos os lados por a para obter a2 = ab.
Subtraia b2 de ambos os lados para obter a2 – b2 = ab – b2. Agora, fatore cada
lado, obtendo (a + b)(a – b) = b(a – b), e divida cada lado por a – b, para chegar
em a + b = b. Finalmente, faça a e b iguais a 1, o que mostra que 2 = 1.