Professional Documents
Culture Documents
Teoria da Computao
(ENG10395)
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
TEORIA DA COMPUTAO
TEORIA DA COMPUTAO
TEORIA DA COMPUTAO
Estrutura de Dados
Mquina Norma
Registradores
Mquina de Post
Fila
Pilha
Pilha
TEORIA DA COMPUTAO
TEORIA DA COMPUTAO
TEORIA DA COMPUTAO
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
TEORIA DA COMPUTAO
Referncias
Diverio, T. A.; Menezes, P. B.. Teoria da Computao:
Mquinas Universais e Computabilidade. Porto
Alegre: Sagra Luzzato, 2000.