Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Post–Turing_machine> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Post–Turing_machine abstract "The article Turing machine gives a general introduction to Turing machines, while this article covers a specific class of Turing machines.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 program" (Davis, in Steen p. 241).".
- Post–Turing_machine wikiPageID "3688147".
- Post–Turing_machine wikiPageRevisionID "574352346".
- Post–Turing_machine subject Category:Models_of_computation.
- Post–Turing_machine subject Category:Turing_machine.
- Post–Turing_machine comment "The article Turing machine gives a general introduction to Turing machines, while this article covers a specific class of Turing machines.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.".
- Post–Turing_machine label "Máquina de Post-Turing".
- Post–Turing_machine label "Post–Turing machine".
- Post–Turing_machine label "Машина Поста".
- Post–Turing_machine label "波斯特-图灵机".
- Post–Turing_machine sameAs Post%E2%80%93Turing_machine.
- Post–Turing_machine sameAs Máquina_de_Post-Turing.
- Post–Turing_machine sameAs Q2574032.
- Post–Turing_machine sameAs Q2574032.
- Post–Turing_machine wasDerivedFrom Post–Turing_machine?oldid=574352346.