UFG - Instituto de Informática Bacharelado em Ciência da Computação

Introdução à Computabilidade e à Complexidade Computacional

Professor: Julliano Nascimento1

Lista de Exercícios

4 – Decidibilidade
1. Responda a cada um dos itens abaixo para o DFA (autômato finito determinístico) M e dê razões para suas
respostas.

(a) hM, 0100i ∈ ADF A = {hB, wi | B é um DFA que aceita a cadeia w}?
(b) hM, 011i ∈ ADF A ?
(c) hM i ∈ ADF A ?
(d) hM, 0100i ∈ AER = {hR, wi | R é uma expressão regular que aceita a cadeia w}?
(e) hM i ∈ VDF A = {hBi | B é um DFA e L(B) = ∅}?
(f) hM, M i ∈ EQDF A = {hA, Bi | A e B são DFAs e L(A) = L(B)}?

2. Considere o problema de se determinar se um DFA e uma expressão regular são equivalentes. Expresse esse
problema como uma linguagem e mostre que ele é decidível.

3. Seja TODASDF A = {hAi | A é um DFA e L(A) = Σ∗ }. Mostre que TODASDF A é decidível.

4. Seja AεGLC = {hGi | G é uma gramática livre de contexto que gera ε}. Mostre que AεGLC é decidível.

5. Mostre que a linguagem L = {hM, wi | M é uma máquina de Turing que passa por um mesmo estado duas
vezes ao processar w} é decidível.

6. Considere o problema de testar se um NFA N aceita alguma palavra terminada com 0. Expresse este
problema como uma linguagem e mostre que a mesma é decidível.

7. Considere o problema de testar se um conjunto finito F é subconjunto de uma LLC L (F ⊆ L?). Expresse
este problema como uma linguagem e mostre que a mesma é decidível.

8. Seja SUBER = {hR, Si | R e S são expressões regulares e L(R) ⊆ L(S)}. Mostre que SUBER é decidível.

9. Seja BALDF A = {hM i | M é um DFA que aceita alguma cadeia contendo igual número de 0’s e 1’s}. Mos-
tre que BALDF A é decidível.

10. Seja CON= {hGi | G é um grafo não direcionado conexo}. Mostre que CON é decidível.

11. Seja CICLO-HAM = {hGi | G tem um ciclo que passa por todos os vértices uma única vez}. Mostre que
CICLO-HAM é decidível.
1
e-mail: jullianonascimento@ufg.br

1
12. Defina o problema do caixeiro viajante (TSP) como a seguir e mostre que ele é decidível.

TSP = {hG, c, ki | G = (V, E) é um grafo completo,

c é uma função de custo, c : V × V → Z,
k ∈ Z, e
G tem um ciclo hamiltoniano de custo no máximo k}.