Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Counter_machine> ?p ?o }
- Counter_machine abstract "A counter machine is an abstract machine used in formal logic and theoretical computer science to model computation. It is the most primitive of the four types of register machines. A counter machine comprises a set of one or more unbounded registers, each of which can hold a single non-negative integer, and a list of (usually sequential) arithmetic and control instructions for the machine to follow.".
- Counter_machine wikiPageExternalLink minsky.html.
- Counter_machine wikiPageID "7583543".
- Counter_machine wikiPageLength "70807".
- Counter_machine wikiPageOutDegree "80".
- Counter_machine wikiPageRevisionID "680962099".
- Counter_machine wikiPageWikiLink Abraham_Robinson.
- Counter_machine wikiPageWikiLink Abstract_machine.
- Counter_machine wikiPageWikiLink Allen_Newell.
- Counter_machine wikiPageWikiLink Andrey_Ershov.
- Counter_machine wikiPageWikiLink Arthur_Burks.
- Counter_machine wikiPageWikiLink Calvin_Elgot.
- Counter_machine wikiPageWikiLink Category:Register_machines.
- Counter_machine wikiPageWikiLink Computer.
- Counter_machine wikiPageWikiLink Computer_program.
- Counter_machine wikiPageWikiLink Counter-machine_model.
- Counter_machine wikiPageWikiLink Counter_machine:Reference_model.
- Counter_machine wikiPageWikiLink Counter_machine_reference_model.
- Counter_machine wikiPageWikiLink Donald_Knuth.
- Counter_machine wikiPageWikiLink Factorization.
- Counter_machine wikiPageWikiLink Formal_logic.
- Counter_machine wikiPageWikiLink Frances_Yao.
- Counter_machine wikiPageWikiLink George_Boolos.
- Counter_machine wikiPageWikiLink Gordon_Bell.
- Counter_machine wikiPageWikiLink Gödel_number.
- Counter_machine wikiPageWikiLink Gödel_numbering.
- Counter_machine wikiPageWikiLink H._E._Sturgis.
- Counter_machine wikiPageWikiLink Halting_Problem.
- Counter_machine wikiPageWikiLink Halting_problem.
- Counter_machine wikiPageWikiLink Hans_Hermes.
- Counter_machine wikiPageWikiLink Hao_Wang_(academic).
- Counter_machine wikiPageWikiLink Harvard_architecture.
- Counter_machine wikiPageWikiLink Herman_Goldstine.
- Counter_machine wikiPageWikiLink Integer.
- Counter_machine wikiPageWikiLink J._Hartmanis.
- Counter_machine wikiPageWikiLink Jan_van_Leeuwen.
- Counter_machine wikiPageWikiLink Joachim_Lambek.
- Counter_machine wikiPageWikiLink John_C._Shepherdson.
- Counter_machine wikiPageWikiLink John_P._Burgess.
- Counter_machine wikiPageWikiLink John_von_Neumann.
- Counter_machine wikiPageWikiLink Logic.
- Counter_machine wikiPageWikiLink Martin_Davis.
- Counter_machine wikiPageWikiLink Marvin_Minsky.
- Counter_machine wikiPageWikiLink Model_of_computation.
- Counter_machine wikiPageWikiLink Odd_number.
- Counter_machine wikiPageWikiLink Parity_(mathematics).
- Counter_machine wikiPageWikiLink Partial_recursive_function.
- Counter_machine wikiPageWikiLink Peter_van_Emde_Boas.
- Counter_machine wikiPageWikiLink Pointer_machine.
- Counter_machine wikiPageWikiLink Post-Turing_machine.
- Counter_machine wikiPageWikiLink Post–Turing_machine.
- Counter_machine wikiPageWikiLink Prime_number.
- Counter_machine wikiPageWikiLink Primitive_recursion.
- Counter_machine wikiPageWikiLink Primitive_recursive_function.
- Counter_machine wikiPageWikiLink Random-access_machine.
- Counter_machine wikiPageWikiLink Random_access_machine.
- Counter_machine wikiPageWikiLink Recursion_(computer_science).
- Counter_machine wikiPageWikiLink Register_machine.
- Counter_machine wikiPageWikiLink Register_machine_models.
- Counter_machine wikiPageWikiLink Remainder.
- Counter_machine wikiPageWikiLink Rich_Schroeppel.
- Counter_machine wikiPageWikiLink Richard_Jeffrey.
- Counter_machine wikiPageWikiLink Richard_Schroeppel.
- Counter_machine wikiPageWikiLink Rózsa_Péter.
- Counter_machine wikiPageWikiLink Schōnhage.
- Counter_machine wikiPageWikiLink Space_hierarchy.
- Counter_machine wikiPageWikiLink Space_hierarchy_theorem.
- Counter_machine wikiPageWikiLink Stack_(abstract_data_type).
- Counter_machine wikiPageWikiLink Stack_(data_structure).
- Counter_machine wikiPageWikiLink Stephen_Cole_Kleene.
- Counter_machine wikiPageWikiLink Stephen_Cook.
- Counter_machine wikiPageWikiLink Stephen_Kleene.
- Counter_machine wikiPageWikiLink Theoretical_computer_science.
- Counter_machine wikiPageWikiLink Time_hierarchy.
- Counter_machine wikiPageWikiLink Time_hierarchy_theorem.
- Counter_machine wikiPageWikiLink Turing_equivalence.
- Counter_machine wikiPageWikiLink Turing_machine.
- Counter_machine wikiPageWikiLink Turing_tarpit.
- Counter_machine wikiPageWikiLink Universal_Turing_machine.
- Counter_machine wikiPageWikiLink Wang_B-machine.
- Counter_machine wikiPageWikiLink Z._A._Melzak.
- Counter_machine wikiPageWikiLink Μ-recursive_function.
- Counter_machine wikiPageWikiLink Μ_operator.
- Counter_machine wikiPageWikiLinkText "Counter machine".
- Counter_machine wikiPageWikiLinkText "counter machine".
- Counter_machine hasPhotoCollection Counter_machine.
- Counter_machine title "Register machine".
- Counter_machine urlname "RegisterMachine".
- Counter_machine wikiPageUsesTemplate Template:Citation.
- Counter_machine wikiPageUsesTemplate Template:Cite_book.
- Counter_machine wikiPageUsesTemplate Template:Cite_journal.
- Counter_machine wikiPageUsesTemplate Template:Main.
- Counter_machine wikiPageUsesTemplate Template:MathWorld.
- Counter_machine wikiPageUsesTemplate Template:Reflist.
- Counter_machine subject Category:Register_machines.
- Counter_machine hypernym Machine.
- Counter_machine type Article.
- Counter_machine type Model.
- Counter_machine type Software.
- Counter_machine type Article.