P. 1
Maquina de Post

Maquina de Post

|Views: 287|Likes:
Publicado porMarcelo Maia

More info:

Published by: Marcelo Maia on Apr 01, 2012
Direitos Autorais:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPTX, PDF, TXT or read online from Scribd
See more
See less

11/12/2012

pdf

text

original

UNIVERSIDADE FEDERAL DO PARÁ BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO PROFESSOR BRUNO MERLIN

Maquina de Post
Anderson Marques Fagner Pantoja Jorge Vasconcelos Leonardo Ramos Marcelo Maia

Tópicos
• Histórico (feito) • Motivações para o Desenvolvimento da Máquina de Post (feito) • Conceito (feito) • Estrutura (feito) • Definição (feito) • Exemplos de processamento ( não fiz pq o sono ta pegando! E preciso ver com mais paciência pra fazer a maquina no papel e não da pra fazer agora farei amanha no estagio) • Equivalência com outras máquinas (feito)

sua família emigrou para os EUA (NY). Faleceu em 1954 (aos 57 anos) . Em maio de 1904.• Emil Leon Post Nasceu (11 de fevereiro de 1897) e viveu até os sete anos de vida.

. porém sofreu um trágico acidente quando ainda era criança que lhe custou um braço e problemas mentais sérios.Emil Post • Emil foi uma criança extraordinariamente brilhante.

Ele então generalizou este seu método. na qual ele provou a completude e a consistência do cálculo proposicional descrito no Principia Mathematica através da introdução do método da tabela verdade. foi a introdução em sua tese de um modelo para sistemas de lógica como sistemas de inferência baseados em um processo finito de manipulação de símbolos. e talvez a mais marcante inovação de Post.Emil Post • Voltemos à tese de doutorado de Post. um conjunto de palavras recursivelmente enumerável em um alfabeto finito. que era baseado nos dois valores "verdadeiro" e "falso". O final. na terminologia atual. . para um método que tinha um número finito arbitrário de valores verdadeiros. Poderíamos imparcialmente dizer que a tese de Post marcou o nascimento da Teoria da Prova. o sistema lógico proposto por Post produz. Assim.

ele permaneceu no Campus para continuar os estudos na faculdade. . uma escola para alunos com talentos especiais. ela situava-se no mesmo local que o College of the City of New York • Após concluir o ensino médio.Emil Post • Ele conseguiu uma bolsa na Townsend Harris High School.

os matemáticos Alan Turing e Emil Post publicaram dois artigos sobre “os números computáveis com a aplicação ao problema da solucionabilidade” . antes do aparecimento dos computadores.D • Em 1936.Emil Post • Post tornou-se mestre em 1918 (21 anos) e em 1920 (23 anos) tornou-se Ph.

• O que foi proposto por Post em comparação ao que foi proposto por Turing é que a dele é mais simples. • Porém esta simplicidade tem um custo os algoritmos do computador matemático de Post exigem. em geral.Emil Post • Os trabalhos publicado por ambos propõem um conceito rigoroso (matemático) de algoritmo. . mais memória e maior quantidade de passos do que os correspondentes algoritmos de Turing.

voltadas ao esquecimento. em detrimento das de Post.Emil Post • Este fato explica porque as idéias de Turing são mais usadas em ciências da computação e em lógica matemática ou na divulgação cientifica. .

a responder a seguinte questão: O que pode ou não fazer o computador fazer enquanto potencialidade lógica? .Modelos de Turing e Post • As máquinas de Turing e de Post se propõe. a grosso modo falando.

• Hilbert tinha a pretensão de afirmar que qualquer problema poderia ser resolvido com cálculos. Este problema marca um momento culminante da tentativa de fazer afirmada a identificação entre lógica e realidade mas. . ao mesmo tempo.Motivações para o Desenvolvimento da Máquina de Post • Hilbert: fala da suposta existência de um método para estabelecer a verdade ou falsidade de qualquer sentença na linguagem da lógica formal chamada cálculo de predicado. significa o marco inicial de sua própria negação.

em um pequeno artigo “Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme”.Motivações para o Desenvolvimento da Máquina de Post • Kurt Gödel. matemáticos. afirma: não podemos identificar os raciocínios rigorosos. . com o raciocínio formal.

Motivações para o Desenvolvimento da Máquina de Post • As formulações de Gödel destroem as pretensões de Hilbert acerca da redução da realidade para a matemática. • Mas as atenções se deslocaram. então. O problema que ainda restava solucionar era: haveria um método único com o qual todas as sentenças matemáticas demonstráveis poderiam ser demonstradas de um conjunto de axiomas lógicos? . do conceito de verdade para o conceito de demonstrabilidade.

Motivações para o Desenvolvimento da Máquina de Post • A criação das máquinas abstratas liquidou definitivamente as pretensões hilbertianas. . Post e Turing mostraram a existência de funções não calculáveis em seus sistemas lógicos. já que: Church.

Conceito • A principal característica da Máquina de Post é que usa uma estrutura de dados do tipo fila para entrada. • Estruturalmente. saída e memória de trabalho. a principal característica de uma fila é que o primeiro valor gravado é também o primeiro a ser lido (uma leitura exclui o dado lido). .

Conceito .

• Inicialmente. que é usada para entrada. • Variável X é do tipo fila. o valor de X é a palavra de entrada. saída e memória de trabalho. • Não possui tamanho fixo.Estrutura • A Maquina de Post é composta basicamente por duas partes a variável X e o Programa. .

representado como um diagrama de fluxos no qual cada vértice é uma instrução.Estrutura • Programa é uma sequência finita de instruções. .

Estrutura . Parada.Programa • As instruções podem ser de quatro tipos: Partida. desvio e atribuição .

. M= (Σ.  D programa ou diagrama de fluxos construído a partir de componentes elementares denominados partida. parada. D.  # símbolo auxiliar. desvio e atribuição.Definição • Uma máquina de Post é uma Tripla. #) Onde:  Σ alfabeto de símbolos de entrada.

Exemplo de Processamento .

Equivalência com Máquina de Turing • Turing <= Post: A máquina de Turing é simulada pela máquina de Post • Post <= Turing: A máquina de Post é simulada pela máquina de Turing. .

Simular Turing em Post • Fita simulada pela Variável X. • Movimento para a Esquerda .

Simular Turing em Post • Movimento para a Direita .

2. Demais Estados: Instruções Teste. 3. Estado Inicial: Instrução de Partida.Simular Turing em Post • Estados: A simulação os estados é como segue: 1. . Estados Finais: Instrução Aceita. • Condição de Rejeição: Instrução Rejeita.

• Desvios .Simular Post em Turing • Variável X simulada pela fita.

Simular Post em Turing • Atribuição .

Simular Post em Turing • Partida: estado inicial • Aceita: estado final • Rejeita: movimento inválido .

You're Reading a Free Preview

Descarregar
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->