USPENSKY, V.
A máquina de Post,
URSS, Editora MIR,
1985.
livro em muito bom estado de conservação, escasso, referencial, não perca, saiba mais ...
As Máquinas de Post são construções teóricas, tais como as Máquinas de Turing que permitem simular um modelo computacional. Apesar de essencialmente equivalentes, Post estava mais preocupado em mostrar a solucionabilidade dos problemas do que sua computabilidade, como era o caso de Turing.O artigo original de Post era entitulado "Formulation 1", sendo o termo Máquina de Post inventado um tempo depois, principalmente pela popularidade da Máquina de Turing.
Nenhum comentário:
Postar um comentário