Matches in SemOpenAlex for { <https://semopenalex.org/work/W1981094023> ?p ?o ?g. }
- W1981094023 endingPage "1151" @default.
- W1981094023 startingPage "1142" @default.
- W1981094023 abstract "We investigate cellular automata as acceptors for formal languages. In particular, we consider real-time devices which are reversible on the core of computation, i.e., from initial configuration to the configuration given by the time complexity. This property is called real-time reversibility. We study whether for a given real-time CA working on finite configurations with fixed boundary conditions there exists a reverse real-time CA with the same neighborhood. It is shown that real-time reversibility is undecidable, which contrasts the general case, where reversibility is decidable for one-dimensional devices. Moreover, we prove the undecidability of emptiness, finiteness, infiniteness, inclusion, equivalence, regularity, and context-freedom. First steps towards the exploration of the computational capacity are done and closure under Boolean operations is shown." @default.
- W1981094023 created "2016-06-24" @default.
- W1981094023 creator A5026803820 @default.
- W1981094023 creator A5083650443 @default.
- W1981094023 date "2008-09-01" @default.
- W1981094023 modified "2023-09-27" @default.
- W1981094023 title "Fast reversible language recognition using cellular automata" @default.
- W1981094023 cites W1567676570 @default.
- W1981094023 cites W1995692031 @default.
- W1981094023 cites W2000451777 @default.
- W1981094023 cites W2018470239 @default.
- W1981094023 cites W2019506584 @default.
- W1981094023 cites W2022060148 @default.
- W1981094023 cites W2022698632 @default.
- W1981094023 cites W2039585018 @default.
- W1981094023 cites W2040657429 @default.
- W1981094023 cites W2092386826 @default.
- W1981094023 cites W2105259569 @default.
- W1981094023 doi "https://doi.org/10.1016/j.ic.2008.03.015" @default.
- W1981094023 hasPublicationYear "2008" @default.
- W1981094023 type Work @default.
- W1981094023 sameAs 1981094023 @default.
- W1981094023 citedByCount "26" @default.
- W1981094023 countsByYear W19810940232012 @default.
- W1981094023 countsByYear W19810940232013 @default.
- W1981094023 countsByYear W19810940232014 @default.
- W1981094023 countsByYear W19810940232015 @default.
- W1981094023 countsByYear W19810940232017 @default.
- W1981094023 countsByYear W19810940232018 @default.
- W1981094023 countsByYear W19810940232019 @default.
- W1981094023 countsByYear W19810940232020 @default.
- W1981094023 countsByYear W19810940232021 @default.
- W1981094023 crossrefType "journal-article" @default.
- W1981094023 hasAuthorship W1981094023A5026803820 @default.
- W1981094023 hasAuthorship W1981094023A5083650443 @default.
- W1981094023 hasConcept C111472728 @default.
- W1981094023 hasConcept C112505250 @default.
- W1981094023 hasConcept C11413529 @default.
- W1981094023 hasConcept C118615104 @default.
- W1981094023 hasConcept C136643341 @default.
- W1981094023 hasConcept C138885662 @default.
- W1981094023 hasConcept C146072743 @default.
- W1981094023 hasConcept C146834321 @default.
- W1981094023 hasConcept C151730666 @default.
- W1981094023 hasConcept C153269930 @default.
- W1981094023 hasConcept C154945302 @default.
- W1981094023 hasConcept C162324750 @default.
- W1981094023 hasConcept C189950617 @default.
- W1981094023 hasConcept C192034797 @default.
- W1981094023 hasConcept C198838072 @default.
- W1981094023 hasConcept C24858836 @default.
- W1981094023 hasConcept C2779343474 @default.
- W1981094023 hasConcept C2780069185 @default.
- W1981094023 hasConcept C311688 @default.
- W1981094023 hasConcept C33923547 @default.
- W1981094023 hasConcept C34447519 @default.
- W1981094023 hasConcept C41008148 @default.
- W1981094023 hasConcept C45374587 @default.
- W1981094023 hasConcept C52370388 @default.
- W1981094023 hasConcept C53893814 @default.
- W1981094023 hasConcept C80444323 @default.
- W1981094023 hasConcept C86803240 @default.
- W1981094023 hasConceptScore W1981094023C111472728 @default.
- W1981094023 hasConceptScore W1981094023C112505250 @default.
- W1981094023 hasConceptScore W1981094023C11413529 @default.
- W1981094023 hasConceptScore W1981094023C118615104 @default.
- W1981094023 hasConceptScore W1981094023C136643341 @default.
- W1981094023 hasConceptScore W1981094023C138885662 @default.
- W1981094023 hasConceptScore W1981094023C146072743 @default.
- W1981094023 hasConceptScore W1981094023C146834321 @default.
- W1981094023 hasConceptScore W1981094023C151730666 @default.
- W1981094023 hasConceptScore W1981094023C153269930 @default.
- W1981094023 hasConceptScore W1981094023C154945302 @default.
- W1981094023 hasConceptScore W1981094023C162324750 @default.
- W1981094023 hasConceptScore W1981094023C189950617 @default.
- W1981094023 hasConceptScore W1981094023C192034797 @default.
- W1981094023 hasConceptScore W1981094023C198838072 @default.
- W1981094023 hasConceptScore W1981094023C24858836 @default.
- W1981094023 hasConceptScore W1981094023C2779343474 @default.
- W1981094023 hasConceptScore W1981094023C2780069185 @default.
- W1981094023 hasConceptScore W1981094023C311688 @default.
- W1981094023 hasConceptScore W1981094023C33923547 @default.
- W1981094023 hasConceptScore W1981094023C34447519 @default.
- W1981094023 hasConceptScore W1981094023C41008148 @default.
- W1981094023 hasConceptScore W1981094023C45374587 @default.
- W1981094023 hasConceptScore W1981094023C52370388 @default.
- W1981094023 hasConceptScore W1981094023C53893814 @default.
- W1981094023 hasConceptScore W1981094023C80444323 @default.
- W1981094023 hasConceptScore W1981094023C86803240 @default.
- W1981094023 hasIssue "9-10" @default.
- W1981094023 hasLocation W19810940231 @default.
- W1981094023 hasOpenAccess W1981094023 @default.
- W1981094023 hasPrimaryLocation W19810940231 @default.
- W1981094023 hasRelatedWork W1491835809 @default.
- W1981094023 hasRelatedWork W1563786920 @default.
- W1981094023 hasRelatedWork W1973654289 @default.
- W1981094023 hasRelatedWork W1981094023 @default.
- W1981094023 hasRelatedWork W2047831585 @default.