Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Post–Turing_machine> ?p ?o }
Showing triples 1 to 73 of
73
with 100 triples 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 wikiPageLength "32356".
- Post–Turing_machine wikiPageOutDegree "59".
- Post–Turing_machine wikiPageRevisionID "696399431".
- Post–Turing_machine wikiPageWikiLink Ad_nauseam.
- Post–Turing_machine wikiPageWikiLink Alonzo_Church.
- Post–Turing_machine wikiPageWikiLink Binary_number.
- Post–Turing_machine wikiPageWikiLink Branch_(computer_science).
- Post–Turing_machine wikiPageWikiLink Busy_beaver.
- Post–Turing_machine wikiPageWikiLink Category:Models_of_computation.
- Post–Turing_machine wikiPageWikiLink Category:Turing_machine.
- Post–Turing_machine wikiPageWikiLink Computation.
- Post–Turing_machine wikiPageWikiLink Computer_data_storage.
- Post–Turing_machine wikiPageWikiLink Conceptual_model.
- Post–Turing_machine wikiPageWikiLink Conditional_(computer_programming).
- Post–Turing_machine wikiPageWikiLink Elaine_Weyuker.
- Post–Turing_machine wikiPageWikiLink Emil_Leon_Post.
- Post–Turing_machine wikiPageWikiLink Execution_(computing).
- Post–Turing_machine wikiPageWikiLink Finite_set.
- Post–Turing_machine wikiPageWikiLink Fred_Hennie.
- Post–Turing_machine wikiPageWikiLink Goto.
- Post–Turing_machine wikiPageWikiLink Halting_problem.
- Post–Turing_machine wikiPageWikiLink Hao_Wang_(academic).
- Post–Turing_machine wikiPageWikiLink Infinite_set.
- Post–Turing_machine wikiPageWikiLink output.
- Post–Turing_machine wikiPageWikiLink Instruction_set.
- Post–Turing_machine wikiPageWikiLink J._Barkley_Rosser.
- Post–Turing_machine wikiPageWikiLink Kurt_Gödel.
- Post–Turing_machine wikiPageWikiLink Lambda_calculus.
- Post–Turing_machine wikiPageWikiLink Logical_equivalence.
- Post–Turing_machine wikiPageWikiLink Martin_Davis.
- Post–Turing_machine wikiPageWikiLink Marvin_Minsky.
- Post–Turing_machine wikiPageWikiLink Mathematical_logic.
- Post–Turing_machine wikiPageWikiLink Operation_(mathematics).
- Post–Turing_machine wikiPageWikiLink Programming_language.
- Post–Turing_machine wikiPageWikiLink Recursion_(computer_science).
- Post–Turing_machine wikiPageWikiLink Roger_Penrose.
- Post–Turing_machine wikiPageWikiLink Ron_Sigal.
- Post–Turing_machine wikiPageWikiLink Sequence.
- Post–Turing_machine wikiPageWikiLink Stephen_Cole_Kleene.
- Post–Turing_machine wikiPageWikiLink Turing_completeness.
- Post–Turing_machine wikiPageWikiLink Turing_machine.
- Post–Turing_machine wikiPageWikiLink Undergraduate_education.
- Post–Turing_machine wikiPageWikiLink Wang_B-machine.
- Post–Turing_machine wikiPageWikiLink File:2_state_busy_beaver.JPG.
- Post–Turing_machine wikiPageWikiLink File:2_state_busy_beaver_2.JPG.
- Post–Turing_machine wikiPageWikiLink File:Algorithm_P-T_multiply_2.JPG.
- Post–Turing_machine wikiPageWikiLink File:State_diagram_2_state_busy_beaver.JPG.
- Post–Turing_machine wikiPageWikiLink File:State_diagram_2_state_busy_beaver_2.JPG.
- Post–Turing_machine wikiPageWikiLinkText "Post machine".
- Post–Turing_machine wikiPageWikiLinkText "Post–Turing machine".
- Post–Turing_machine wikiPageUsesTemplate Template:Cnote.
- Post–Turing_machine wikiPageUsesTemplate Template:Cref.
- Post–Turing_machine wikiPageUsesTemplate Template:No_footnotes.
- Post–Turing_machine subject Category:Models_of_computation.
- Post–Turing_machine subject Category:Turing_machine.
- Post–Turing_machine type Model.
- Post–Turing_machine type Machine.
- Post–Turing_machine type Method.
- Post–Turing_machine type Model.
- Post–Turing_machine type Redirect.
- 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 "Post–Turing machine".
- Post–Turing_machine sameAs Q2574032.
- Post–Turing_machine sameAs Máquina_de_Post-Turing.
- Post–Turing_machine sameAs m.09vj3_.
- Post–Turing_machine sameAs Машина_Поста.
- Post–Turing_machine sameAs Машина_Поста.
- Post–Turing_machine sameAs Q2574032.
- Post–Turing_machine sameAs 波斯特-图灵机.
- Post–Turing_machine wasDerivedFrom Post–Turing_machine?oldid=696399431.
- Post–Turing_machine isPrimaryTopicOf Post–Turing_machine.