Universidade Estadual

do
Piauí - UESPI

Máquina de Turing e Teoria

da Decidibilidade

Alunos: Francisco Manoel

Luis Felipe
Agosto/2022
Teoria da Decidibilidade

● O que é uma solução computável ?

● Quais são os limites do que pode ser computado?
● Existem problemas sem solução computacional?

● Os problemas de David Hilbert

○ Problema de decisão (Entscheidungsproblem) - encontrar um algoritmo que recebe como
entrada a descrição de uma linguagem formal e uma sentença nesta linguagem e tem como
saída "verdadeiro" ou "falso'' dependendo se a sentença de entrada é verdadeira ou falsa.

● Kurt Godel

● Yuri Matiyasevich
Contexto Histórico

● Início do século XX

○ Grande impulso nas pesquisas com o objetivo de definir um modelo computacional.

● O formalismo de Alan Turing

○ Máquina de Turing

● Alonzo Church

○ Tese de Church
Máquina de Turing

● O que é a máquina de Turing?

● Linguagens Recursivamente enumeráveis

○ gramática irrestrita

● Importância do estudo das linguagens recursivamente enumeráveis

● Teoria da Decidibilidade
Máquina de Turing - Modelo

● Fita

○ Finita à esquerda e infinita(tão grande quanto necessário) à direita

○ Separada em células

○ Símbolos

● Unidade de Controle

● Programa, Função programa ou Função transição

Máquina de Turing - Definição formal
Máquina de Turing - Função de Transição

● δ(p, x) = (q, y, m)

● Máquina de Turing M

● Palavra de Entrada W
Modelos equivalentes à Máquina de Turing

É considerada como o dispositivo de computação mais geral.

● Autômato com Múltiplas Pilhas;

● Máquina de Turing Não-Determinística;

● Máquina de Turing com Fita Infinita à Esquerda e à Direita;

● Máquina de Turing com Múltiplas Fitas;

● Máquina de Turing Multidimensional;

● Máquina de Turing com Múltiplas Cabeças;

● Combinações de Modificações sobre a Máquina de Turing

Hipótese de Church

● Cálculo Lambda
● Funções Recursivas

"A capacidade de computação representada pela máquina de Turing é o limite máximo que pode ser atingido por
qualquer dispositivo de computação"
.
Máquina de Turing como reconhecedor

● Classe das linguagens recursivamente enumeráveis

○ Parar, identificando que a palavra não pertence à linguagem
○ Ficar em loop infinito;

● Classe das linguagens recursivas

○ Parar, identificando que a palavra não pertence à linguagem

“reconhecer o complemento de uma linguagem pode ser impossível, mesmo que seja possível reconhecer a
linguagem”
Exemplo

Dado a linguagem:

A máquina de Turing:
Entrada: aabb
Referências Bibliográficas

● DIVERIO, T. A.; MENEZES, P. B. Teoria da Computação–UFRGS: Máquinas Universais e

Computabilidade. [S.l.]: Bookman Editora, 2009.

● MENEZES, P. B. Linguagens formais e autômatos. [S.l.]: Sagra-Dcluzzato, 1998.

● SIPSER, M. INTRODUÇÃO À TEORIA DA COMPUTAÇÃO-2® EDIÇÃO NORTE-AMERICANA.

[S.l.]: Cengage Learning Edições Ltda., 2010.