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)

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

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

Assim. 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. . o sistema lógico proposto por Post produz. um conjunto de palavras recursivelmente enumerável em um alfabeto finito. 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. Poderíamos imparcialmente dizer que a tese de Post marcou o nascimento da Teoria da Prova. na terminologia atual. para um método que tinha um número finito arbitrário de valores verdadeiros. que era baseado nos dois valores "verdadeiro" e "falso". Ele então generalizou este seu método. O final.Emil Post • Voltemos à tese de doutorado de Post.

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

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” .Emil Post • Post tornou-se mestre em 1918 (21 anos) e em 1920 (23 anos) tornou-se Ph. antes do aparecimento dos computadores.D • Em 1936.

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

em detrimento das de Post. voltadas ao esquecimento. .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? . a grosso modo falando.Modelos de Turing e Post • As máquinas de Turing e de Post se propõe.

. ao mesmo tempo. significa o marco inicial de sua própria negação. Este problema marca um momento culminante da tentativa de fazer afirmada a identificação entre lógica e realidade mas. • Hilbert tinha a pretensão de afirmar que qualquer problema poderia ser resolvido com cálculos.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.

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

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. 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? . • Mas as atenções se deslocaram. 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.

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 • 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.

Conceito .

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

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

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

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

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 .

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

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

Simular Post em Turing • Atribuição .

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

Sign up to vote on this title
UsefulNot useful