{"id":"https://openalex.org/W2795114645","doi":"https://doi.org/10.23638/dmtcs-21-4-12","title":"New results on classical and quantum counter automata","display_name":"New results on classical and quantum counter automata","publication_year":2019,"publication_date":"2019-09-27","ids":{"openalex":"https://openalex.org/W2795114645","doi":"https://doi.org/10.23638/dmtcs-21-4-12","mag":"2795114645"},"language":"en","primary_location":{"id":"doi:10.23638/dmtcs-21-4-12","is_oa":true,"landing_page_url":"https://doi.org/10.23638/dmtcs-21-4-12","pdf_url":"https://dmtcs.episciences.org/5788/pdf","source":{"id":"https://openalex.org/S200334879","display_name":"Discrete Mathematics & Theoretical Computer Science","issn_l":"1365-8050","issn":["1365-8050","1462-7264"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4328141799","host_organization_name":"French association","host_organization_lineage":["https://openalex.org/P4328141799"],"host_organization_lineage_names":["French association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Mathematics & Theoretical Computer Science","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dmtcs.episciences.org/5788/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102749962","display_name":"Masaki Nakanishi","orcid":"https://orcid.org/0000-0002-0200-6452"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Masaki Nakanishi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002142749","display_name":"Abuzer Yakary\u0131lmaz","orcid":"https://orcid.org/0000-0002-2372-252X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Abuzer Yakary\u0131lmaz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5061669161","display_name":"Aida Gainutdinova","orcid":"https://orcid.org/0000-0002-0339-9526"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aida Gainutdinova","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00397412,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"vol. 21 no. 4","issue":"Automata, Logic and Semantics","first_page":null,"last_page":null},"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.9998999834060669,"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.9998999834060669,"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/T11567","display_name":"semigroups and automata theory","score":0.9962000250816345,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9898999929428101,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/las-vegas","display_name":"Las vegas","score":0.6475661993026733},{"id":"https://openalex.org/keywords/two-way-deterministic-finite-automaton","display_name":"Two-way deterministic finite automaton","score":0.5698320865631104},{"id":"https://openalex.org/keywords/deterministic-automaton","display_name":"Deterministic automaton","score":0.5604398846626282},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5187185406684875},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5182526111602783},{"id":"https://openalex.org/keywords/b\u00fcchi-automaton","display_name":"B\u00fcchi automaton","score":0.46340039372444153},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4632599949836731},{"id":"https://openalex.org/keywords/probabilistic-automaton","display_name":"Probabilistic automaton","score":0.4367789924144745},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.43470901250839233},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.4248695969581604},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4170444905757904},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3675854802131653},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34172046184539795},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3015938401222229},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.19136309623718262},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08412417769432068}],"concepts":[{"id":"https://openalex.org/C2993101906","wikidata":"https://www.wikidata.org/wiki/Q23768","display_name":"Las vegas","level":3,"score":0.6475661993026733},{"id":"https://openalex.org/C139423837","wikidata":"https://www.wikidata.org/wiki/Q243800","display_name":"Two-way deterministic finite automaton","level":5,"score":0.5698320865631104},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.5604398846626282},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5187185406684875},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5182526111602783},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.46340039372444153},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4632599949836731},{"id":"https://openalex.org/C174784677","wikidata":"https://www.wikidata.org/wiki/Q176567","display_name":"Probabilistic automaton","level":3,"score":0.4367789924144745},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.43470901250839233},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.4248695969581604},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4170444905757904},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3675854802131653},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34172046184539795},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3015938401222229},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.19136309623718262},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08412417769432068},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C158739034","wikidata":"https://www.wikidata.org/wiki/Q1907114","display_name":"Metropolitan area","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.23638/dmtcs-21-4-12","is_oa":true,"landing_page_url":"https://doi.org/10.23638/dmtcs-21-4-12","pdf_url":"https://dmtcs.episciences.org/5788/pdf","source":{"id":"https://openalex.org/S200334879","display_name":"Discrete Mathematics & Theoretical Computer Science","issn_l":"1365-8050","issn":["1365-8050","1462-7264"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4328141799","host_organization_name":"French association","host_organization_lineage":["https://openalex.org/P4328141799"],"host_organization_lineage_names":["French association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Mathematics & Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1412.6761","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1412.6761","pdf_url":"https://arxiv.org/pdf/1412.6761","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.1412.6761","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1412.6761","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:2978722775","is_oa":true,"landing_page_url":"https://dmtcs.episciences.org/5788/pdf","pdf_url":null,"source":{"id":"https://openalex.org/S200334879","display_name":"Discrete Mathematics & Theoretical Computer Science","issn_l":"1365-8050","issn":["1365-8050","1462-7264"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4328141799","host_organization_name":"French association","host_organization_lineage":["https://openalex.org/P4328141799"],"host_organization_lineage_names":["French association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Discrete Mathematics & Theoretical Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.23638/dmtcs-21-4-12","is_oa":true,"landing_page_url":"https://doi.org/10.23638/dmtcs-21-4-12","pdf_url":"https://dmtcs.episciences.org/5788/pdf","source":{"id":"https://openalex.org/S200334879","display_name":"Discrete Mathematics & Theoretical Computer Science","issn_l":"1365-8050","issn":["1365-8050","1462-7264"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4328141799","host_organization_name":"French association","host_organization_lineage":["https://openalex.org/P4328141799"],"host_organization_lineage_names":["French association"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Mathematics & Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.44999998807907104,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G116629194","display_name":null,"funder_award_id":"88881","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G4533453353","display_name":"Analysis of quantum computers that have constraints on memory accesses","funder_award_id":"16K00007","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4629526125","display_name":null,"funder_award_id":"2013-01","funder_id":"https://openalex.org/F4320321091","funder_display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"id":"https://openalex.org/G5745533628","display_name":"On the power of space bounded quantum computers","funder_award_id":"24500003","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2795114645.pdf","grobid_xml":"https://content.openalex.org/works/W2795114645.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W1508316497","https://openalex.org/W1521651075","https://openalex.org/W1574818555","https://openalex.org/W1581172149","https://openalex.org/W1594335079","https://openalex.org/W1631356911","https://openalex.org/W1778909574","https://openalex.org/W1932923986","https://openalex.org/W1968294243","https://openalex.org/W1976604403","https://openalex.org/W1978405212","https://openalex.org/W2008943448","https://openalex.org/W2010699490","https://openalex.org/W2041518499","https://openalex.org/W2044141959","https://openalex.org/W2063628628","https://openalex.org/W2075742699","https://openalex.org/W2093657550","https://openalex.org/W2109741106","https://openalex.org/W2115757125","https://openalex.org/W2117584890","https://openalex.org/W2140852079","https://openalex.org/W2148132004","https://openalex.org/W2152666452","https://openalex.org/W2164423904","https://openalex.org/W2234492345","https://openalex.org/W2952997687","https://openalex.org/W3098706366"],"related_works":["https://openalex.org/W2026879508","https://openalex.org/W2155870982","https://openalex.org/W186350370","https://openalex.org/W2139519154","https://openalex.org/W2010706856","https://openalex.org/W2143754769","https://openalex.org/W2951815888","https://openalex.org/W3153637812","https://openalex.org/W3194347685","https://openalex.org/W2499762659"],"abstract_inverted_index":{"We":[0,38,84],"show":[1,85,93],"that":[2,53,86],"one-way":[3,29,34,54,70],"quantum":[4,73],"one-counter":[5,31,36],"automaton":[6,32],"with":[7],"zero-error":[8],"is":[9,89],"more":[10],"powerful":[11],"than":[12],"its":[13],"probabilistic":[14,30,55],"counterpart":[15],"on":[16,43],"promise":[17],"problems.":[18],"Then,":[19],"we":[20],"obtain":[21,40],"a":[22],"similar":[23],"separation":[24,95],"result":[25],"between":[26],"Las":[27],"Vegas":[28],"and":[33,71,79,91],"deterministic":[35],"automaton.":[37],"also":[39,92],"new":[41],"results":[42,96],"classical":[44],"counter":[45,99],"automata":[46,58],"regarding":[47],"language":[48,65],"recognition.":[49],"It":[50],"was":[51],"conjectured":[52],"one":[56],"blind-counter":[57],"cannot":[59],"recognize":[60],"Kleene":[61],"closure":[62],"of":[63,69],"equality":[64],"[A.":[66],"Yakaryilmaz:":[67],"Superiority":[68],"realtime":[72],"machines.":[74],"RAIRO":[75],"-":[76],"Theor.":[77],"Inf.":[78],"Applic.":[80],"46(4):":[81],"615-641":[82],"(2012)].":[83],"this":[87],"conjecture":[88],"false,":[90],"several":[94],"for":[97],"blind/non-blind":[98],"automata.":[100],"Comment:":[101],"21":[102],"pages":[103]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}