{"id":"https://openalex.org/W4410062005","doi":"https://doi.org/10.1007/s00236-025-00488-w","title":"Deterministic real-time tree-walking-storage automata","display_name":"Deterministic real-time tree-walking-storage automata","publication_year":2025,"publication_date":"2025-05-03","ids":{"openalex":"https://openalex.org/W4410062005","doi":"https://doi.org/10.1007/s00236-025-00488-w"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-025-00488-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-025-00488-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-025-00488-w.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00236-025-00488-w.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026803820","display_name":"Martin Kutrib","orcid":"https://orcid.org/0000-0002-9564-2625"},"institutions":[{"id":"https://openalex.org/I200763008","display_name":"University of Giessen","ror":"https://ror.org/033eqas34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200763008"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Martin Kutrib","raw_affiliation_strings":["Institut f\u00fcr Informatik, Universit\u00e4t Giessen, Arndtstr.\u00a02, 35392, Giessen, Germany"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Universit\u00e4t Giessen, Arndtstr.\u00a02, 35392, Giessen, Germany","institution_ids":["https://openalex.org/I200763008"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000744880","display_name":"Uwe Meyer","orcid":"https://orcid.org/0000-0003-0216-8803"},"institutions":[{"id":"https://openalex.org/I45155027","display_name":"Technische Hochschule Mittelhessen","ror":"https://ror.org/02qdc9985","country_code":"DE","type":"education","lineage":["https://openalex.org/I45155027"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Uwe Meyer","raw_affiliation_strings":["Technische Hochschule Mittelhessen, Wiesenstr.\u00a014, 35390, Giessen, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Hochschule Mittelhessen, Wiesenstr.\u00a014, 35390, Giessen, Germany","institution_ids":["https://openalex.org/I45155027"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5026803820"],"corresponding_institution_ids":["https://openalex.org/I200763008"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04386255,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"62","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9995999932289124,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9995999932289124,"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.9994000196456909,"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/T12029","display_name":"DNA and Biological Computing","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.7980642914772034},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6505615711212158},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6424723267555237},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5720757246017456},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4352799654006958},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3172762989997864},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2696019411087036},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.14276409149169922}],"concepts":[{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.7980642914772034},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6505615711212158},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6424723267555237},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5720757246017456},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4352799654006958},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3172762989997864},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2696019411087036},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.14276409149169922}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00236-025-00488-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-025-00488-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-025-00488-w.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00236-025-00488-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-025-00488-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-025-00488-w.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410062005.pdf","grobid_xml":"https://content.openalex.org/works/W4410062005.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W1965061701","https://openalex.org/W1970379778","https://openalex.org/W1975384830","https://openalex.org/W1982449618","https://openalex.org/W1984896712","https://openalex.org/W1987709131","https://openalex.org/W1990345806","https://openalex.org/W2004701601","https://openalex.org/W2010873193","https://openalex.org/W2012140001","https://openalex.org/W2029610959","https://openalex.org/W2030011197","https://openalex.org/W2040136857","https://openalex.org/W2040655280","https://openalex.org/W2042527825","https://openalex.org/W2046505442","https://openalex.org/W2051532343","https://openalex.org/W2052674111","https://openalex.org/W2056647002","https://openalex.org/W2057834256","https://openalex.org/W2061970672","https://openalex.org/W2074472454","https://openalex.org/W2090627896","https://openalex.org/W2125495920","https://openalex.org/W2155704531","https://openalex.org/W2409739580","https://openalex.org/W2618109676","https://openalex.org/W2754370965","https://openalex.org/W3158013313","https://openalex.org/W3199131588","https://openalex.org/W4229560414","https://openalex.org/W4248605269","https://openalex.org/W4253699484","https://openalex.org/W4292142061","https://openalex.org/W4302339081","https://openalex.org/W4377081428","https://openalex.org/W4386698215"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W4409439182","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2052122378","https://openalex.org/W2610542549","https://openalex.org/W2124122503"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"study":[2],"deterministic":[3,94,160,171,267],"tree-walking-storage":[4,34,68,95,162],"automata,":[5,20,283],"which":[6],"are":[7,17,88,124,135,177,227,312],"finite-state":[8],"devices":[9,193,304],"equipped":[10],"with":[11,51,143,179,262,305],"a":[12,29,67,76,291,306],"tree-like":[13,31],"storage.":[14],"These":[15],"automata":[16,35,96,144,148,163],"generalized":[18],"stack":[19,24,209,288],"where":[21,284],"the":[22,37,41,44,49,52,56,84,91,106,118,129,140,146,153,167,170,175,180,192,222,242,248,263,273,277,285,310],"linear":[23],"storage":[25,46],"is":[26,102,164,290],"replaced":[27],"by":[28,158,206,315],"non-linear":[30],"stack.":[32],"Therefore,":[33],"have":[36,247],"ability":[38],"to":[39,60,75,279],"explore":[40,295],"interior":[42],"of":[43,55,62,93,120,126,131,155,182,221,225,258,266,276,287,317,320],"tree":[45,57,77,308],"without":[47],"altering":[48],"contents,":[50],"possible":[53],"moves":[54],"pointer":[58],"corresponding":[59],"those":[61],"tree-walking":[63],"automata.":[64],"In":[65,229],"addition,":[66],"automaton":[69],"can":[70,109],"append":[71],"(push)":[72],"non-existent":[73],"descendants":[74],"node":[78],"and":[79,169,184,215,235,281,299],"remove":[80],"(pop)":[81],"leaves":[82],"from":[83,145],"tree.":[85],"Here":[86],"we":[87,150,231,271,294],"particularly":[89],"considering":[90],"capacities":[92,142],"working":[97],"in":[98,199,212,245,252],"real":[99],"time.":[100,217],"It":[101,188,238],"shown":[103],"that":[104,152,191,202,241,301],"even":[105,211,302],"non-erasing":[107,200],"variant":[108],"accept":[110,196],"rather":[111],"complicated":[112],"unary":[113,197],"languages":[114,156,198,226],"as,":[115],"for":[116,303],"example,":[117],"language":[119,130],"words":[121,132],"whose":[122,133],"lengths":[123,134],"powers":[125],"two,":[127],"or":[128],"double":[136],"Fibonacci":[137],"numbers.":[138],"Comparing":[139],"computational":[141,274],"classical":[147,208],"hierarchy,":[149],"derive":[151],"family":[154,265],"accepted":[157,205],"real-time":[159],"(non-erasing)":[161],"located":[165],"between":[166],"regular":[168],"context-sensitive":[172,186],"languages.":[173,187,269],"Moreover,":[174],"families":[176,181,224,244],"incomparable":[178],"context-free":[183,268],"growing":[185],"turns":[189,239],"out":[190,240],"under":[194],"consideration":[195],"mode":[201,214],"cannot":[203],"be":[204],"any":[207],"automaton,":[210],"erasing":[213],"arbitrary":[216],"Basic":[218],"closure":[219,260],"properties":[220,250,261],"induced":[223],"shown.":[228],"particular,":[230,253],"consider":[232,272],"Boolean":[233],"operations":[234],"AFL":[236],"operations.":[237],"two":[243],"question":[246],"same":[249],"and,":[251],"share":[254],"all":[255,313],"but":[256],"one":[257],"these":[259],"important":[264],"Then,":[270],"capacity":[275],"counterpart":[278],"counter-":[280],"stack-counter":[282],"set":[286],"symbols":[289],"singleton.":[292],"Finally,":[293],"several":[296],"decidability":[297],"problems":[298,311,319],"show,":[300],"single":[307],"symbol,":[309],"non-semidecidable":[314,318],"reductions":[316],"Turing":[321],"machines.":[322]},"counts_by_year":[],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}