Cincia da Computao

Teoria da Computao
(ENG10395)

Profa. Juliana Pinheiro Campos

E-mail: jupcampos@gmail.com

TEORIA DA COMPUTAO

Mquinas Universais
Mquinas Universais podem ser entendidas de
duas formas:
Se capaz de simular todas as outras
mquinas;
Se toda funo computvel pode ser expressa
como um programa nesta mquina, ou seja,
se for possvel representar qualquer algoritmo
como um programa nesta mquina.
Ambos os entendimentos no podem ser provados.

TEORIA DA COMPUTAO

Mquinas Universais
Como impossvel formalizar a demonstrao de que uma
mquina universal, buscam-se evidncias para tal
comprovao. Essas evidncias podem ser classificadas
como:
evidncia interna: consiste na demonstrao de que
qualquer extenso das capacidades da mquina
proposta computa, no mximo, a mesma classe de
funes (no aumenta o seu poder computacional).
evidncia externa: consiste no exame de outros
modelos que definem a noo de algoritmo,
juntamente com a prova de que so, no mximo,
computacionalmente equivalentes.

TEORIA DA COMPUTAO

Mquinas Universais
A MT uma mquina universal: Todas as
evidncias internas e externas imaginadas
sempre foram verificadas.
J vimos que as variaes na definio de MT
no aumentaram o seu poder computacional.
Mais adiante vamos mostrar que outro modelo
que define a noo de algoritmo (autmatos
com 2 pilhas) computacionalmente
equivalente s MT.

TEORIA DA COMPUTAO

Tese de Church (Church-Turing)

Essas evidncias levaram Alonzo Church a
apresentar, em 1936, a tese de Church a qual
afirma que qualquer funo computvel
(algoritmo) pode ser processada por uma MT.
Turing criou a MT como uma proposta de
definio formal de algoritmo. Vrios outros
trabalhos (Mquina de Post e funes recursivas
e outros mais recentes como mquina Norma e
autmato com pilhas) resultaram em conceitos
semelhantes ao de Turing.

TEORIA DA COMPUTAO

Tese de Church (Church-Turing)

O fato de todos esses trabalhos independentes
gerarem o mesmo resultado em termos de
capacidade de expressar computabilidade um
forte reforo na tese de Church, enunciada
como:

A capacidade de computao representada pela

mquina de Turing o limite mximo que pode ser
atingido por qualquer dispositivo de computao

TEORIA DA COMPUTAO

Tese de Church (Church-Turing)

A tese de Church no demonstrvel, pois
fundamentada em uma noo intuitiva (no
formal) de algoritmo.
Ela aceita como verdadeira, ou seja,
assumida como hiptese. Por isso conhecida
tambm como Hiptese de Church (ou ChurchTuring).

TEORIA DA COMPUTAO

Outras mquinas universais

Alm da MT, h outras mquinas consideradas
universais. Cada uma delas baseada em um tipo de
estrutura de dados.
Mquina

Estrutura de Dados

Mquina Norma

Registradores

Mquina de Post

Fila

Mquina com pilhas

Pilha

Autmatos com duas

pilhas

Pilha

As mquinas com 2 pilhas possuem o mesmo poder

computacional que a classe das MT.

TEORIA DA COMPUTAO

Outras mquinas universais

Definio formal de autmato com 2 pilhas (A2P):Um
A2P uma 6-upla (Q, , , , q0, F) onde
Q o conjunto finito de estados
o alfabeto de entrada
o alfabeto auxiliar de pilha
: Q x x x -> Q x x a funo de
transio. Ela considera: o estado corrente, o
smbolo lido e o smbolo no topo de cada pilha; para
determinar: novo estado e o smbolo gravado em
cada pilha.
q0 Q o estado inicial
F C Q o conjunto de estados de aceitao

TEORIA DA COMPUTAO

Outras mquinas universais

Consideraes sobre a funo de transio:
a omisso do parmetro de leitura, representada por
?, indica o teste da correspondente pilha vazia ou
toda palavra de entrada lida.
O smbolo na leitura indica que o autmato no l
nem move a cabea.
O smbolo na gravao indica que nenhuma
gravao realizada na pilha (ou desempilha)
Ex: (p, ?, a, e) = {(q, , b)} indica que se no estado p, a entrada foi
completamente lida, o topo da pilha 1 a e o topo da pilha 2 e;
ento v para o estado q, desempilha a da pilha 1 e grava b na
pilha 2.

TEORIA DA COMPUTAO

Outras mquinas universais

Representao no diagrama de estados

(x, a1, b1, a2, b2)

x: smbolo lido
a1: smbolo lido da pilha 1
b1: smbolo gravado na pilha 1
a2: smbolo lido da pilha 2
b2: smbolo gravado na pilha 2

TEORIA DA COMPUTAO

Outras mquinas universais

O formalismo A2P equivalente ao formalismo MT:
MT pode ser simulada em um A2P: A fita da MT
simulada usando as duas pilhas: a pilha 1 simula o
contedo da fita esquerda da cabea da fita, e a
pilha 2, o contedo direita
Um A2P pode ser simulado em uma MT: a
palavra de entrada aparece nas primeiras posies
da fita da MT. A pilha 1 corresponde s clulas
impares da fita, aps a palavra de entrada; a pilha
2 corresponde s clulas pares da fita, aps a
palavra de entrada.

TEORIA DA COMPUTAO

Referncias
Diverio, T. A.; Menezes, P. B.. Teoria da Computao:
Mquinas Universais e Computabilidade. Porto
Alegre: Sagra Luzzato, 2000.