UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO

Uast – Unidade Acadêmica de Serra Talhada

Curso de Bacharelado em Sistema de Informações

Prof. Sérgio Paiva

1. Qual o marco inicial da Teoria da Computação?
2. Em que se consistia o problema de Hilbert– Entscheidungsproblem?
3. Explique o impacto do teorema da imcompletude (Incompleteness Theorem) de Kurt Gödel na
ideia de Hilbert.
4. Qual a importância da Hipótese de Church e porque ela não é demonstrável?
5. Explique o conceito de: função computável, Problema da decisão e problema da parada.
6. Explique o conceito de programa em termos de Procedimento Efetivo. O que é um
procedimento efetivo?
7. Defina conjunto enumerável.
8. Marque os conjuntos que são alfabetos:
a. Conjunto dos números naturais; [ ]
b. Conjunto dos números primos; [ ]
c. Conjunto das letras do alfabeto brasileiro; [ ]
d. Conjunto dos algarismos arábicos; [ ]
e. Conjunto dos algarismos romanos; [ ]
f. Conjunto { a, b, c, d }; [ ]
g. Conjunto das partes de { a, b, c }; [ ]
h. Conjunto das vogais; [ ]
i. Conjunto das letras gregas. [ ]
9. Dê os possíveis prefixos e sufixos de cada uma das seguintes palavras:
a. teoria
b. universidade
c. aaa
d. abccba
e. abcabc

10. Considere o alfabeto _ = {a, b} e a palavra w = abb.

a. Qual o valor de |w| ?
b. Verdadeiro ou falso: se w pertence a Σ*, então w.w também pertence a Σ*.
c. Enumere todas as subpalavras, prefixos e sufixos de w.
d. Enumere todas as palavras em Σ* com tamanho igual a 3.
e. Qual o tamanho do conjunto Σ* ?

11. Considere as seguintes linguagens:

L1 = {w ε {0, 1} | w contém número ímpar de 0’s}
L2 = {w ε {0, 1} |w contém pelo menos dois 0’s }
a. Enumere todas as palavras pertencentes a L1 e L2 de tamanho 3.
b. Diga qual a linguagem resultante das seguintes operações:
i. L1 U L2
ii. L1 − L2
iii. L1 ∩ L2
iv. L1.L2
v. L2.L1
 vi. L1.L1
vii. L2.L2
viii. L1*
ix. L2