Counter-machine model (original) (raw)

About DBpedia

Although some authors use the name "register machine" synonymously with "counter machine", this article will give details and examples of only of the most primitive species – the "counter machine" – of the genus "register machine." Within the species "counter machine" there are a number of varieties: the models of Hermes (1954), Kaphengst (1957), Ershov (1958), Péter (1958), Minsky (1961) and Minsky (1967), Melzak (1961), Lambek (1961), Shepherdson and Sturgis (1963), and Schönhage (1980). These models will be described in more detail in the following.

Property Value
dbo:abstract Although some authors use the name "register machine" synonymously with "counter machine", this article will give details and examples of only of the most primitive species – the "counter machine" – of the genus "register machine." Within the species "counter machine" there are a number of varieties: the models of Hermes (1954), Kaphengst (1957), Ershov (1958), Péter (1958), Minsky (1961) and Minsky (1967), Melzak (1961), Lambek (1961), Shepherdson and Sturgis (1963), and Schönhage (1980). These models will be described in more detail in the following. (en)
dbo:wikiPageExternalLink https://archive.org/details/computationfinit0000mins
dbo:wikiPageID 7599249 (xsd:integer)
dbo:wikiPageLength 45146 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1124954300 (xsd:integer)
dbo:wikiPageWikiLink dbr:Primitive_recursive_function dbr:MIT_Lincoln_Laboratory dbr:Wang_B-machine dbr:David_Hilbert dbr:John_P._Burgess dbr:Peter_van_Emde_Boas dbr:Richard_Jeffrey dbr:Space_hierarchy_theorem dbr:George_Boolos dbr:Mu_operator dbr:Andrey_Ershov dbr:Tag_system dbr:Frances_Yao dbr:William_Lowell_Putnam_Mathematical_Competition dbr:Hans_Hermes dbr:Hao_Wang_(academic) dbr:Hilbert's_problems dbr:Jan_van_Leeuwen dbr:Counter_machine dbr:Arnold_Schönhage dbc:Models_of_computation dbr:Joachim_Lambek dbr:Register_machine dbr:Diophantine_equation dbr:Donald_Knuth dbr:Marvin_Minsky dbr:Post–Turing_machine dbr:Canadian_Mathematical_Bulletin dbr:Random-access_machine dbr:Turing_machine dbr:Rózsa_Péter dbr:Pointer_machine dbr:Time_hierarchy_theorem dbr:Emil_Post dbr:Rich_Schroeppel dbr:Partial_recursive_function dbr:Gödel_number dbr:Mu_recursive_function dbr:H._E._Sturgis dbr:John_C._Shepherdson dbr:Schōnhage dbr:Z._A._Melzak dbr:Z._Alexander_Melzak
dbp:wikiPageUsesTemplate dbt:Citation dbt:Cite_book dbt:Cite_journal dbt:ISBN dbt:Ordered_list dbt:Reflist dbt:Spaced_ndash
dct:subject dbc:Models_of_computation
rdf:type yago:WikicatModelsOfComputation yago:Assistant109815790 yago:CausalAgent100007347 yago:LivingThing100004258 yago:Model110324560 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Worker109632518 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Whole100003553
rdfs:comment Although some authors use the name "register machine" synonymously with "counter machine", this article will give details and examples of only of the most primitive species – the "counter machine" – of the genus "register machine." Within the species "counter machine" there are a number of varieties: the models of Hermes (1954), Kaphengst (1957), Ershov (1958), Péter (1958), Minsky (1961) and Minsky (1967), Melzak (1961), Lambek (1961), Shepherdson and Sturgis (1963), and Schönhage (1980). These models will be described in more detail in the following. (en)
rdfs:label Counter-machine model (en)
owl:sameAs freebase:Counter-machine model yago-res:Counter-machine model wikidata:Counter-machine model https://global.dbpedia.org/id/4iQS6
prov:wasDerivedFrom wikipedia-en:Counter-machine_model?oldid=1124954300&ns=0
foaf:isPrimaryTopicOf wikipedia-en:Counter-machine_model
is dbo:wikiPageRedirects of dbr:Counter_machine_models dbr:Register-machine_model dbr:Register_machine_models
is dbo:wikiPageWikiLink of dbr:Wang_B-machine dbr:Algorithm_characterizations dbr:Cell-probe_model dbr:LOOP_(programming_language) dbr:Register_machine dbr:Random-access_machine dbr:Counter_machine_models dbr:Register-machine_model dbr:Register_machine_models
is foaf:primaryTopic of wikipedia-en:Counter-machine_model