O documento descreve a Máquina de Post, um modelo de máquina universal proposto por Emil Leon Post em 1936. A máquina de Post consiste em uma variável X e um programa finito de instruções como partida, parada, desvio e atribuição. É definida como uma tripla (Σ, D, #) onde Σ é o alfabeto de entrada, D é o diagrama de fluxo do programa e # é um símbolo auxiliar. Um exemplo é dado para a linguagem de duplo balanceamento.
3. INTRODUÇÃO
Em 1936, Emil Leon Post propôs um modelo de Máquina Universal
denominada Máquina de Post. Uma máquina de Post consiste em duas partes:
uma variável X e um programa.
O poder de expressão da Máquina de Post é o mesmo que o da Máquina de
Turing ou seja para toda Máquina de Turing existe uma Máquina de Post
equivalente e vice-versa. Todo conteúdo da fita de uma MT, pode ser expresso
por uma máquina de POST. O dispositivo reconhecedor é na verdade um
modelo matemático que descreve o funcionamento de uma máquina, onde as
cadeias são submetidas para aceitação ou rejeição.
4. Uso da estrutura FILA (Variável X) para Entrada, Saída
e Memória de Trabalho.
X não possui tamanho nem limite fixo. Seu
comprimento é dado pelo tamanha da palavra
armazenada no momento.
Os símbolos são:
● Alfabeto de entrada ( Σ )
● Símbolo auxiliar { # }
● Entrada vazia ε
O programa é constituído de uma sequencia finita de
instruções, as instruções podem ser de: partida,
parada, desvio(teste), e atribuição.
CARACTERIZAÇÃO
5. DEFINIÇÃO
É dado por uma tripla.
M = (Σ , D, #)
Onde:
● Σ alfabeto de entrada
● D diagrama de fluxo
● # símbolo auxiliar
7. COMPONENTES:
DIAGRAMA DE FLUXO
Atribuição (X ← Xs) - Se Xs = { Σ U { # } } então
armazena o símbolo s indicado no final da FILA.
Desvio (X ← ler(X)) - essa operação lê o primeiro
simbolo, exclui ele da fila e desvia o fluxo do
programa. Prever se X contem palavra vazia. Se Σ
têm n elementos então existem n+2 (# ε) arestas de
desvios condicionais.
8. Considere a linguagem Duplo Balanceamento
DB = {anbn | n ≥ 0}
Máquina de Post
MP = ({a,b}, D, #)
EXEMPLO:
DUPLO BALANCEAMENTO
10. BIBLIOGRAFIA
Teoria da Computação, T. A. Divério e P. B Menezes,
Bookman, 2008, 2ª edição.
Programs and Machines – An Introduction to the
Theory of Computation, R. Bird, John Wiley and
Sons, 1976.