CENTRO UNIVERSITÁRIO DE JOÃO PESSOA

PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO – PR-EG

CURSO DE CIÊNCIA DA COMPUTAÇÃO

Componente Curricular: Teoria da Computação

Professor: Hilário Tomaz Alves de Oliveira
Semestre: Período: Turma: Data de Entrega:
2019.1 5° Noite 28/05/2019

Lista de Exercícios 3 – Tese de Church-Turing

Questão 1. Qual a importância do estudo da Máquina de Turing na Ciência da

Computação?

Questão 2. Sobre a Hipótese de Church-Turing:

a) Por que ela não é demonstrável?

b) Qual seu significado e importância na Teoria da Computação?

Questão 3. Sobre a máquina de Turing, analise as seguintes afirmações:

I. Uma linguagem aceita por uma Máquina de Turing pode ser dita uma
linguagem recursivamente enumerável.
II. A classe das linguagens recursivamente enumeráveis está contida na classe
das linguagens recursivas.
III. O complemento de uma linguagem recursiva é uma linguagem
recursivamente enumerável.

Marque a alternativa correta:

a) Apenas I e II estão corretas;

b) Apenas I está correta;
c) Apenas II e III estão corretas;
d) Apenas I e III estão corretas;
e) I, II e III estão corretas.
Questão 4. Qual a diferença fundamental entre as Classes das Linguagens recursivas e
das Linguagens recursivamente enumeráveis? Qual a importância de se distinguir estas
duas classes?

Questão 5. Elabore uma máquina de Turing MT_Palíndroma (determinística ou não) que

sempre PARA dado qualquer entrada e que reconhece todos os palíndromos, ou seja,
palavras que possuem a mesma leitura da esquerda para a direita e vice-versa, usando o
alfabeto {a, b}. Por exemplo:

aba, abba, babab ∈ ACEITA(MT_Palíndroma)

abab ∈ REJEITA(MT_Palíndroma)

Apresente a DESCRIÇÃO FORMAL da Máquina de Turing MT_Palíndroma e

implemente-a usando o simulador (https://turingmachinesimulator.com/).

Questão 6. Sobre a tese de Church, análise as seguintes afirmações:

I. A capacidade de computação representada pela Máquina de Turing é o

limite máximo do que pode ser atingido por qualquer dispositivo de
computação;
II. Qualquer outra forma de expressar algoritmos terá, no máximo, a mesma
capacidade computacional da Máquina de Turing;
III. Como a noção de algoritmo é intuitiva, a tese de Church-Turing não é
demonstrável.

Marque a alternativa correta:

a) Apenas I está correta;

b) Apenas II está correta;
c) Apenas I e III estão corretas;
d) Apenas II e III estão corretas;
e) I, II e III estão corretas.

Questão 7. Uma máquina de Turing ser sempre capaz de parar ou não é uma característica
importante, pois através dela podemos categorizar determinados tipos de linguagens.
Qual das alternativas abaixo contém apenas condições de parada válidas para uma
Máquina de Turing?
 a) Estado final, movimento inválido da cabeça da fita, ocorrência de loop.
b) Estado final, função indefinida, movimento inválido da cabeça da fita.
c) Ocorrência de loop, função indefinida, movimento inválido da cabeça da fita.
d) Estado final, função indefinida, término da fita.
e) Estado final, ocorrência de loop, quantidade de movimentos da cabeça da fita que
excedam um limite máximo.

Questão 8. Considere a seguinte Máquina de Turing:

M = (Σ, Q, Γ, 𝛿, q0, qaceita, qrejeita)

Marque a alternativa ERRADA:

a) REJEITA(M), é o conjunto de todas as palavras pertencentes a Σ* rejeitadas por

M.
b) O complemento de ACEITA(M) é REJEITA(M) ∪ LOOP(M).
c) ACEITA(M), é o conjunto de todas as palavras pertencentes a Σ* aceitas por M.
d) ACEITA(M) ∩ REJEITA(M) = ∅.
e) ACEITA(M) ∪ REJEITA(M) = Σ*.

Questão 9. Dada a seguinte Máquina de Turing M, que reconhece a linguagem L(M) =

{w#w| w  {0,1}*}. Apresente a computação (veja o exemplo no slide 15 da Aula 5) da
máquina M para a seguinte cadeia de entrada w = 10#10.
Questão 10. Apresente a descrição formal de uma Máquina de Turing para aceitar cada
uma das seguintes linguagens. Represente a função de transição como um diagrama de
estados.

a) L = {anbmcn+m | n ≥ 1, m ≥1}, sob o alfabeto  = {a, b, c}.

b) L = {anbn | n ≥ 0}, sob o alfabeto  = {a, b}.
c) L = {1n0m | n ≠ m}, sob o alfabeto  = {1,0}.
d) L = {1n02n | n ≥ 0}, sob o alfabeto  = {1,0}.