Introduo

Emil Leon post, nascido em 11 de fevereiro de 1897 na Polnia e falecido

em 21 de abril de 1954 em Nova York. Emil foi uma criana
extraordinariamente brilhante, mas quando era criana sofreu um grave
acidente onde perdeu um brao e teve problemas mentais srios.
Em 1936, Emil Leon Post props um modelo de Mquina Universal
denominada Mquina de Post. Uma mquina de Post consiste em duas
partes: Uma varivel X e um programa.
Trata-se duma mquina que fruto da imaginao humana, pelo que o
trabalho com ela requer, acima de tudo um esforo mental que, afinal, o
que nos caracteriza mais vincadamente como espcie diferente de todas as
outras.
Essa mquina realiza um conjunto nfimo de aces mas, a sua combinao
adequada permite-nos resolver um vasto leque de problemas de nvel
superior, que usamos intensamente no nosso dia a dia, como por exemplo
clculos numricos. A semelhana com os computadores comea a tornar-se
evidente: tambm eles, com um conjunto limitado de aces, conseguem
realizar as maravilhas que todos sabemos.
A principal caracterstica da Mquina de Post que usa uma estrutura de
dados do tipo fila para entrada, sada e memria de trabalho.
Estruturalmente, a principal caracterstica de uma fila que o primeiro valor
gravado tambm o primeiro a ser lido (uma leitura exclui o dado lido).

Como j foi falado a Mquina de Post consiste de duas partes:

Varivel X.

Trata-se de uma varivel do tipo fila e utilizada como entrada,

sada e memria de trabalho.
A varivel X no possui tamanho nem limite fixos. Seu
comprimento igual ao comprimento da palavra corrente
armazenada.
Os smbolos podem pertencer ao alfabeto de entrada ou a { # },
nico smbolo auxiliar.

Inicialmente, o valor de X a palavra de entrada. Caso X no

contenha smbolos, a entrada vazia, representa por .

Programa.

uma sequncia finita de instrues, representado como um

diagrama de fluxos (espcie de fluxograma), no qual cada
vrtice uma instruo.
As instrues podem ser de quatro tipos: partida, parada,
desvio (leitura com teste) e atribuio.

Definio: Uma Mquina de Post uma tripla:

M= (, D, #)
Onde:

= alfabeto de smbolos de entrada;

D = programa ou diagrama de fluxos construdo a partir de
componentes elementares denominados partida, parada,
desvio e atribuio;
# = smbolo auxiliar.

Componentes elementares de um diagrama de fluxos.

a) Partida. Existe somente uma instruo de incio em um programa.
b) Parada. Existe duas alternativas de instrues de parada em um
programa, uma de aceitao e outra de rejeio:

c) Desvio (ou leitura com teste). (X <- ler (X))

Denota o comando que l o smbolo mais esquerda da palavra
armazenada em X, retirando o primeiro smbolo.
uma instruo composta de uma leitura do smbolo esquerda
(incio da fila), excluindo-o da fila e desviando o fluxo do programa
de acordo com o smbolo lido;
Deve ser prevista a possibilidade de X conter a palavra vazia.
Se o cardinal de n, ento existem n+2 arestas de desvios
condicionais, pois se deve incluir as possibilidades # e .

d) Atribuio (X <- Xs)

uma instruo de concatenao, gravando o smbolo indicado
(pertencente a { # }) direita da palavra armazenada na
varivel X (fim da fila).
A operao de atribuio representada a seguir, supondo que s
{#}.

Exemplo Maquina de Post Dublo Balanceamento

Considere a seguinte linguagem
Duplo_Bal= {an bn | n 0}
A Mquina de Post: Post_Duplo_Bal= ({a, b}, D, #)