Máquina de Post – Wikipédia, a enciclopédia livre
Definição. Uma máquina de Post é uma tripla M=(Σ,D,#) . onde Σ é um alfabeto finito de símbolos, um dos quais é um símbolo especial de parada.Cadeias finitas (possivelmente vazias) em Σ são chamadas de palavras.; D é um conjunto de regras de produção, atribuindo uma palavra D(x) (chamada de produção) para cada símbolo em Σ.A produção (diga-se D(H)) …
Lee mas