{"id":"https://openalex.org/W2060880530","doi":"https://doi.org/10.1017/s0960129512000096","title":"The monoidal structure of Turing machines","display_name":"The monoidal structure of Turing machines","publication_year":2013,"publication_date":"2013-02-28","ids":{"openalex":"https://openalex.org/W2060880530","doi":"https://doi.org/10.1017/s0960129512000096","mag":"2060880530"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129512000096","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129512000096","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077921319","display_name":"Mikl\u00f3s Bartha","orcid":"https://orcid.org/0000-0002-0996-8769"},"institutions":[{"id":"https://openalex.org/I130438778","display_name":"Memorial University of Newfoundland","ror":"https://ror.org/04haebc03","country_code":"CA","type":"education","lineage":["https://openalex.org/I130438778"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"MIKL\u00d3S BARTHA","raw_affiliation_strings":["Department of Computer Science, Memorial University of Newfoundland St. John's, NL, Canada Email:","Memorial University of Newfoundland, St. John's"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Memorial University of Newfoundland St. John's, NL, Canada Email:","institution_ids":["https://openalex.org/I130438778"]},{"raw_affiliation_string":"Memorial University of Newfoundland, St. John's","institution_ids":["https://openalex.org/I130438778"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5077921319"],"corresponding_institution_ids":["https://openalex.org/I130438778"],"apc_list":null,"apc_paid":null,"fwci":1.4603,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.86049996,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"23","issue":"2","first_page":"204","last_page":"246"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12162","display_name":"Cellular Automata and Applications","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.8385903239250183},{"id":"https://openalex.org/keywords/turing-machine-examples","display_name":"Turing machine examples","score":0.8226653337478638},{"id":"https://openalex.org/keywords/super-recursive-algorithm","display_name":"Super-recursive algorithm","score":0.7840441465377808},{"id":"https://openalex.org/keywords/universal-turing-machine","display_name":"Universal Turing machine","score":0.7394275665283203},{"id":"https://openalex.org/keywords/description-number","display_name":"Description number","score":0.7285548448562622},{"id":"https://openalex.org/keywords/nspace","display_name":"NSPACE","score":0.713843584060669},{"id":"https://openalex.org/keywords/time-hierarchy-theorem","display_name":"Time hierarchy theorem","score":0.6182838082313538},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6026312708854675},{"id":"https://openalex.org/keywords/non-deterministic-turing-machine","display_name":"Non-deterministic Turing machine","score":0.5781986117362976},{"id":"https://openalex.org/keywords/probabilistic-turing-machine","display_name":"Probabilistic Turing machine","score":0.5426121950149536},{"id":"https://openalex.org/keywords/von-neumann-architecture","display_name":"Von Neumann architecture","score":0.5071618556976318},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41840866208076477},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.40946313738822937},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34480834007263184},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22975993156433105},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.19569823145866394},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14041253924369812},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.05598434805870056}],"concepts":[{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.8385903239250183},{"id":"https://openalex.org/C21176728","wikidata":"https://www.wikidata.org/wiki/Q7854963","display_name":"Turing machine examples","level":5,"score":0.8226653337478638},{"id":"https://openalex.org/C31402856","wikidata":"https://www.wikidata.org/wiki/Q5295939","display_name":"Super-recursive algorithm","level":5,"score":0.7840441465377808},{"id":"https://openalex.org/C131671149","wikidata":"https://www.wikidata.org/wiki/Q2703890","display_name":"Universal Turing machine","level":4,"score":0.7394275665283203},{"id":"https://openalex.org/C179061269","wikidata":"https://www.wikidata.org/wiki/Q5263786","display_name":"Description number","level":5,"score":0.7285548448562622},{"id":"https://openalex.org/C201958364","wikidata":"https://www.wikidata.org/wiki/Q1756295","display_name":"NSPACE","level":5,"score":0.713843584060669},{"id":"https://openalex.org/C48415503","wikidata":"https://www.wikidata.org/wiki/Q5251122","display_name":"Time hierarchy theorem","level":5,"score":0.6182838082313538},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6026312708854675},{"id":"https://openalex.org/C15190523","wikidata":"https://www.wikidata.org/wiki/Q1190223","display_name":"Non-deterministic Turing machine","level":5,"score":0.5781986117362976},{"id":"https://openalex.org/C144271403","wikidata":"https://www.wikidata.org/wiki/Q1191836","display_name":"Probabilistic Turing machine","level":5,"score":0.5426121950149536},{"id":"https://openalex.org/C80469333","wikidata":"https://www.wikidata.org/wiki/Q189088","display_name":"Von Neumann architecture","level":2,"score":0.5071618556976318},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41840866208076477},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.40946313738822937},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34480834007263184},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22975993156433105},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.19569823145866394},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14041253924369812},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.05598434805870056}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129512000096","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129512000096","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W46368677","https://openalex.org/W96316838","https://openalex.org/W99963581","https://openalex.org/W1507692549","https://openalex.org/W1508490157","https://openalex.org/W1570445666","https://openalex.org/W1582555793","https://openalex.org/W1588422495","https://openalex.org/W1588709134","https://openalex.org/W1644475622","https://openalex.org/W1870018393","https://openalex.org/W1961717322","https://openalex.org/W1972464717","https://openalex.org/W1973799895","https://openalex.org/W1986555114","https://openalex.org/W2000671329","https://openalex.org/W2001209461","https://openalex.org/W2008699979","https://openalex.org/W2015392385","https://openalex.org/W2016113382","https://openalex.org/W2032805951","https://openalex.org/W2044747903","https://openalex.org/W2068967633","https://openalex.org/W2083970526","https://openalex.org/W2087495899","https://openalex.org/W2094580575","https://openalex.org/W2096885339","https://openalex.org/W2102357532","https://openalex.org/W2104202734","https://openalex.org/W2105259569","https://openalex.org/W2116877111","https://openalex.org/W2120713972","https://openalex.org/W2121087903","https://openalex.org/W2125616765","https://openalex.org/W2128702639","https://openalex.org/W2131283815","https://openalex.org/W2148631003","https://openalex.org/W2151856726","https://openalex.org/W2294530123","https://openalex.org/W2396769696","https://openalex.org/W2400851088","https://openalex.org/W2404491450","https://openalex.org/W2476804803","https://openalex.org/W2911865844","https://openalex.org/W2912522143","https://openalex.org/W2950993906","https://openalex.org/W3105507374","https://openalex.org/W4212873186","https://openalex.org/W4233798822","https://openalex.org/W4294621147","https://openalex.org/W4296217399","https://openalex.org/W6603836128","https://openalex.org/W6675666034","https://openalex.org/W6681971441","https://openalex.org/W6713767217","https://openalex.org/W6721006028"],"related_works":["https://openalex.org/W1662868588","https://openalex.org/W3014863312","https://openalex.org/W1526857708","https://openalex.org/W2547364878","https://openalex.org/W2050901922","https://openalex.org/W1978271909","https://openalex.org/W2060880530","https://openalex.org/W1527973804","https://openalex.org/W1556623397","https://openalex.org/W1538855222"],"abstract_inverted_index":{"Indexed":[0],"monoidal":[1,51],"algebras":[2],"are":[3,32,66],"introduced":[4],"as":[5,68,85],"an":[6,49,86],"equivalent":[7],"structure":[8],"for":[9,20],"self-dual":[10],"compact":[11],"closed":[12],"categories,":[13],"and":[14,28,75],"a":[15,76],"coherence":[16],"theorem":[17],"is":[18,83],"proved":[19],"the":[21,36,43,54,57],"category":[22],"of":[23,45,56],"such":[24,46],"algebras.":[25],"Turing":[26,29,38,63],"automata":[27],"graph":[30,64],"machines":[31,47,65],"defined":[33],"by":[34],"generalising":[35],"classical":[37],"machine":[39],"concept":[40],"so":[41],"that":[42],"collection":[44],"becomes":[48],"indexed":[50],"algebra.":[52],"On":[53],"analogy":[55],"von":[58],"Neumann":[59],"data-flow":[60],"computer":[61],"architecture,":[62],"proposed":[67],"potentially":[69],"reversible":[70,78],"low-level":[71],"universal":[72],"computational":[73],"devices,":[74],"truly":[77],"molecular":[79],"size":[80],"hardware":[81],"model":[82],"presented":[84],"example.":[87]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2014,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}