Post–Turing machine
A Post–Turing machine is a "program formulation" of an especially simple type of Turing machine, comprising a variant of Emil Post's Turing-equivalent model of computation described below. (Post's model and Turing's model, though very similar to one another, were developed independently. Turing's paper was received for publication in May 1936, followed by Post's in October.) A Post–Turing machine uses a binary alphabet, an infinite sequence of binary storage locations, and a primitive programming language with instructions for bi-directional movement among the storage locations and alteration of their contents one at a time. The names "Post–Turing program" and "Post–Turing machine" were used by Martin Davis in 1973–1974 (Davis 1973, p. 69ff). Later in 1980, Davis used the name "Turing–Post
primaryTopic
Post–Turing machine
A Post–Turing machine is a "program formulation" of an especially simple type of Turing machine, comprising a variant of Emil Post's Turing-equivalent model of computation described below. (Post's model and Turing's model, though very similar to one another, were developed independently. Turing's paper was received for publication in May 1936, followed by Post's in October.) A Post–Turing machine uses a binary alphabet, an infinite sequence of binary storage locations, and a primitive programming language with instructions for bi-directional movement among the storage locations and alteration of their contents one at a time. The names "Post–Turing program" and "Post–Turing machine" were used by Martin Davis in 1973–1974 (Davis 1973, p. 69ff). Later in 1980, Davis used the name "Turing–Post
has abstract
A Post–Turing machine is a "pr ...... ram" (Davis, in Steen p. 241).
@en
A máquina de Post-Turing é uma ...... st" (Davis, em Steen, p. 241).
@pt
Post-图灵机是一种特别简单类型的图灵机的"程序公式化", ...... st程序"(Davis, in Steen p. 241)。
@zh
Маши́на По́ста (МП) — абстракт ...... ности команд для машины Поста.
@ru
Wikipage page ID
Wikipage revision ID
696,399,431
comment
A Post–Turing machine is a "pr ...... vis used the name "Turing–Post
@en
A máquina de Post-Turing é uma ...... g" foram utilizados por Martin
@pt
Post-图灵机是一种特别简单类型的图灵机的"程序公式化", ...... st程序"(Davis, in Steen p. 241)。
@zh
Маши́на По́ста (МП) — абстракт ...... ности команд для машины Поста.
@ru
label
Máquina de Post-Turing
@pt
Post–Turing machine
@en
Машина Поста
@ru
波斯特-图灵机
@zh