{"id":"https://openalex.org/W2098951701","doi":"https://doi.org/10.25596/jalc-2002-549","title":"Descriptional Complexity of Cellular Automata and Decidability Questions","display_name":"Descriptional Complexity of Cellular Automata and Decidability Questions","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2098951701","doi":"https://doi.org/10.25596/jalc-2002-549","mag":"2098951701"},"language":"en","primary_location":{"id":"pmh:oai:publikationen.ub.uni-frankfurt.de:7182","is_oa":false,"landing_page_url":"http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/7182","pdf_url":null,"source":{"id":"https://openalex.org/S4306400432","display_name":"Publication Server of Goethe University Frankfurt am Main (Goethe University Frankfurt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114090438","host_organization_name":"Goethe University Frankfurt","host_organization_lineage":["https://openalex.org/I114090438"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"workingpaper"},"type":"report","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.25596/jalc-2002-549","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083650443","display_name":"Andreas Malcher","orcid":"https://orcid.org/0000-0002-9589-5833"},"institutions":[{"id":"https://openalex.org/I114090438","display_name":"Goethe University Frankfurt","ror":"https://ror.org/04cvxnb49","country_code":"DE","type":"education","lineage":["https://openalex.org/I114090438"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Malcher, Andreas","raw_affiliation_strings":["Institut f\u00fcr Informatik,  Johann Wolfgang Goethe-Universit\u00e4t, D-60054 Frankfurt am Main, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik,  Johann Wolfgang Goethe-Universit\u00e4t, D-60054 Frankfurt am Main, Germany","institution_ids":["https://openalex.org/I114090438"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5083650443"],"corresponding_institution_ids":["https://openalex.org/I114090438"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"7","issue":"4","first_page":"123","last_page":"131"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"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.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.9993000030517578,"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/mobile-automaton","display_name":"Mobile automaton","score":0.7607065439224243},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6771694421768188},{"id":"https://openalex.org/keywords/cellular-automaton","display_name":"Cellular automaton","score":0.6418615579605103},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.5677791237831116},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5549317002296448},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.4748033583164215},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4696371257305145},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46733009815216064},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4539579451084137},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.44872021675109863},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.4423682987689972},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43627020716667175},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.43243926763534546},{"id":"https://openalex.org/keywords/recursively-enumerable-language","display_name":"Recursively enumerable language","score":0.4107385277748108},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.38294360041618347},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3799549639225006},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32436561584472656},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14589852094650269},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09959331154823303}],"concepts":[{"id":"https://openalex.org/C50348692","wikidata":"https://www.wikidata.org/wiki/Q6887056","display_name":"Mobile automaton","level":4,"score":0.7607065439224243},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6771694421768188},{"id":"https://openalex.org/C35527583","wikidata":"https://www.wikidata.org/wiki/Q189156","display_name":"Cellular automaton","level":2,"score":0.6418615579605103},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.5677791237831116},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5549317002296448},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.4748033583164215},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4696371257305145},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46733009815216064},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4539579451084137},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.44872021675109863},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.4423682987689972},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43627020716667175},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43243926763534546},{"id":"https://openalex.org/C203702658","wikidata":"https://www.wikidata.org/wiki/Q1073063","display_name":"Recursively enumerable language","level":2,"score":0.4107385277748108},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.38294360041618347},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3799549639225006},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32436561584472656},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14589852094650269},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09959331154823303},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C46757340","wikidata":"https://www.wikidata.org/wiki/Q43238","display_name":"Poaceae","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:publikationen.ub.uni-frankfurt.de:7182","is_oa":false,"landing_page_url":"http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/7182","pdf_url":null,"source":{"id":"https://openalex.org/S4306400432","display_name":"Publication Server of Goethe University Frankfurt am Main (Goethe University Frankfurt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114090438","host_organization_name":"Goethe University Frankfurt","host_organization_lineage":["https://openalex.org/I114090438"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"workingpaper"},{"id":"doi:10.25596/jalc-2002-549","is_oa":true,"landing_page_url":"https://doi.org/10.25596/jalc-2002-549","pdf_url":null,"source":{"id":"https://openalex.org/S7407052994","display_name":"Universit\u00e4tsbibliothek Gie\u00dfen","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200763008","host_organization_name":"Justus-Liebig-Universit\u00e4t Gie\u00dfen","host_organization_lineage":["https://openalex.org/I200763008"],"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:2098951701","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/jalc/jalc7.html#Malcher02","pdf_url":null,"source":{"id":"https://openalex.org/S62907800","display_name":"Journal of automata, languages and combinatorics","issn_l":"1430-189X","issn":["1430-189X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310313929","host_organization_name":"University of Giessen","host_organization_lineage":["https://openalex.org/P4310313929"],"host_organization_lineage_names":["University of Giessen"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Journal of automata, languages and combinatorics","raw_type":null},{"id":"mag:2399922446","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/dcfs/dcfs2001.html#Malcher01","pdf_url":null,"source":{"id":"https://openalex.org/S4306507593","display_name":"DCFS","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"DCFS","raw_type":null}],"best_oa_location":{"id":"doi:10.25596/jalc-2002-549","is_oa":true,"landing_page_url":"https://doi.org/10.25596/jalc-2002-549","pdf_url":null,"source":{"id":"https://openalex.org/S7407052994","display_name":"Universit\u00e4tsbibliothek Gie\u00dfen","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200763008","host_organization_name":"Justus-Liebig-Universit\u00e4t Gie\u00dfen","host_organization_lineage":["https://openalex.org/I200763008"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W160429650","https://openalex.org/W1559101795","https://openalex.org/W1559620535","https://openalex.org/W1581583767","https://openalex.org/W1971471851","https://openalex.org/W1985877122","https://openalex.org/W1998830009","https://openalex.org/W2002089154","https://openalex.org/W2078011493","https://openalex.org/W2085862166","https://openalex.org/W2090921231","https://openalex.org/W2094323437","https://openalex.org/W2165700161","https://openalex.org/W2431353543"],"related_works":["https://openalex.org/W2002089154","https://openalex.org/W2399922446","https://openalex.org/W2165700161","https://openalex.org/W2090921231","https://openalex.org/W1999147218","https://openalex.org/W68320400","https://openalex.org/W1571704443","https://openalex.org/W1485491970","https://openalex.org/W421997344","https://openalex.org/W2102296501","https://openalex.org/W2431353543","https://openalex.org/W2078011493","https://openalex.org/W2072713114","https://openalex.org/W2050612755","https://openalex.org/W2788950217","https://openalex.org/W2023999667","https://openalex.org/W1998830009","https://openalex.org/W1981094023","https://openalex.org/W1980347954","https://openalex.org/W1971747251"],"abstract_inverted_index":{"We":[0,16],"study":[1],"the":[2,22,26,46,117],"descriptional":[3],"complexity":[4],"of":[5,14,21,48,70,75,78],"cellular":[6,24,71,99,111],"automata":[7,37],"(CA)":[8],"which":[9],"are":[10,62,94],"a":[11,79,86],"parallel":[12],"model":[13],"computation.":[15],"show":[17],"that":[18,90,116],"between":[19,66],"one":[20],"simplest":[23],"models,":[25],"realtime":[27],"one-way":[28],"CA":[29],"(realtime-OCA),":[30],"and":[31,106,128],"\"classical\"":[32],"models":[33],"like":[34],"deterministic":[35],"finite":[36],"or":[38],"pushdown":[39],"automata,":[40],"there":[41],"will":[42],"be":[43,83],"savings":[44],"concerning":[45],"size":[47],"description":[49],"not":[50,95],"bounded":[51],"by":[52,85,121],"any":[53],"recursive":[54],"function,":[55],"so-called":[56],"nonrecursive":[57,60],"trade-offs.":[58],"Furthermore,":[59],"trade-offs":[61],"shown":[63],"to":[64,125],"exist":[65],"certain":[67],"restricted":[68],"classes":[69],"automata.":[72,100,112],"The":[73],"set":[74],"valid":[76],"computations":[77],"Turing":[80],"machine":[81],"can":[82],"recognized":[84],"realtime-OCA.":[87],"This":[88],"implies":[89],"many":[91,126],"decidability":[92],"questions":[93],"even":[96],"semidecidable":[97],"for":[98,110],"There":[101],"is":[102,123],"no":[103,107],"pumping":[104],"lemma":[105],"minimization":[108],"algorithm":[109],"Finally,":[113],"we":[114],"prove":[115],"language":[118,130],"class":[119],"accepted":[120],"realtime-OCA":[122],"incomparable":[124],"known":[127],"well-investigated":[129],"classes.":[131]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}