About: Counter machine

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Abstract machine used in a formal logic and theoretical computer science

Property	Value
dbo:description	abstract machine used in a formal logic and theoretical computer science (en)
dbo:wikiPageExternalLink	https://archive.org/details/computationfinit0000mins http://www.igblan.free-online.co.uk/igblan/ca/minsky.html https://archive.org/details/introductiontoau00hopc
dbo:wikiPageWikiLink	dbr:Harvard_architecture dbr:Hao_Wang_(academic) dbr:Abstract_machine dbr:Primitive_recursive_function dbr:Peter_van_Emde_Boas dbr:Stephen_Cook dbr:Random-access_machine dbr:Prime_number dbr:Joachim_Lambek dbr:Integer dbr:Turing_machine_equivalents dbr:Rózsa_Péter dbr:Universal_Turing_machine dbr:Turing_tarpit dbr:Abraham_Robinson dbr:Hans_Hermes dbr:Computer dbr:Turing_completeness dbr:Μ_operator dbr:Odd_number dbr:Halting_problem dbr:Jan_van_Leeuwen dbr:Formal_logic dbr:Martin_Davis_(mathematician) dbr:Theoretical_computer_science dbr:Donald_Knuth dbr:Frances_Yao dbr:John_von_Neumann dbr:Recursion_(computer_science) dbr:Computer_program dbr:Gordon_Bell dbr:Herman_Goldstine dbr:Factorization dbr:Marvin_Minsky dbr:George_Boolos dbr:One-instruction_set_computer dbc:Register_machines dbr:Register_machine dbr:Pointer_machine dbr:Space_hierarchy_theorem dbr:Allen_Newell dbr:Arthur_Burks dbr:Remainder dbr:Post–Turing_machine dbr:Wang_B-machine dbr:Time_hierarchy_theorem dbr:Stack_(data_structure) dbr:Turing_machine dbr:Canadian_Mathematical_Bulletin dbr:Richard_Jeffrey dbr:Model_of_computation dbr:John_P._Burgess dbr:Stephen_Kleene dbr:Andrey_Ershov dbr:Finite_state_machine dbr:Primitive_recursion dbr:Calvin_Elgot dbr:H._E._Sturgis dbr:J._Hartmanis dbr:John_C._Shepherdson dbr:Z._A._Melzak dbr:Register-machine_model dbr:Gödel_number dbr:Partial_recursive_function dbr:Rich_Schroeppel dbr:Schönhage
dbp:title	Register machine (en)
dbp:urlname	RegisterMachine (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Main dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:Citation dbt:MathWorld dbt:Original_research_section dbt:Harvtxt dbt:Refn dbt:Short_description
dct:subject	dbc:Register_machines
gold:hypernym	dbr:Machine
rdfs:label	Counter machine (en) Machine à compteurs (fr) Maszyna licznikowa (pl) 计数器机 (zh)
owl:sameAs	yago-res:Counter machine freebase:Counter machine wikidata:Counter machine dbpedia-fr:Counter machine dbpedia-zh:Counter machine dbpedia-pl:Counter machine dbpedia-global:Counter machine dbr:Counter machine
prov:wasDerivedFrom	wikipedia-en:Counter_machine?oldid=1294164369&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Counter_machine
is dbo:wikiPageDisambiguates of	dbr:Counter
is dbo:wikiPageWikiLink of	dbr:Cell-probe_model dbr:LOOP_(programming_language) dbr:Random-access_machine dbr:Counter dbr:Counter_(digital) dbr:Propositional_formula dbr:Universal_Turing_machine dbr:Counter-machine_model dbr:Patrick_C._Fischer dbr:Church–Turing_thesis dbr:Μ_operator dbr:Register_machine dbr:Pointer_machine dbr:Richard_Schroeppel dbr:Turing_machine dbr:Algorithm_characterizations dbr:Hybrid_automaton
is foaf:primaryTopic of	wikipedia-en:Counter_machine