Shrinking One-Way Cellular Automata
Résumé
We investigate cellular automata as acceptors for formal languages. In particular, we consider real-time one-way cellular automata () with the additional property that during a computation any cell of the has the ability to dissolve itself and we call this model shrinking one-way cellular automata (). It turns out that real-time are more powerful than real-time , since they can accept certain linear-time languages. Additionally, a construction is provided that enables real-time to accept the reversal of real-time iterative array languages. Finally, restricted real-time are investigated which are allowed to dissolve only a number of cells that is bounded by some function. In this case, an infinite strict hierarchy of language classes is obtained.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|