Giessener Elektronische Bibliothek

GEB - Giessener Elektronische Bibliothek

On time computability of functions in one-way cellular automata

Buchholz, Thomas ; Kutrib, Martin


Zum Volltext im pdf-Format: Dokument 1.pdf (293 KB)


Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:hebis:26-opus-189
URL: http://geb.uni-giessen.de/geb/volltexte/1998/18/

Bookmark bei del.icio.us


Universität Justus-Liebig-Universität Gießen
Institut: Arbeitsgruppe Informatik
Fachgebiet: Informatik
DDC-Sachgruppe: Informatik
Dokumentart: ResearchPaper
Zeitschrift, Serie: Bericht / Arbeitsgruppe Informatik ; 9502 / 1995
Sprache: Englisch
Erstellungsjahr: 1995
Publikationsdatum: 26.05.1998
Kurzfassung auf Englisch: The capability of one­way (space­bounded) cellular automata (OCA) to time­compute functions is investigated. That means given an constant input of length n a distinguished cell has to enter a distinguished state exactly after f(n) time steps. The family of such functions (C (OCA)) is characterized in terms of formal language recognition. Several functions are proved to be time­computable and properties of C(OCA) are given. The time­computation at some points is concerned with the concept of signals and their realization which is quite formally defined for the first time.
Lizenz: Veröffentlichungsvertrag für Publikationen ohne Print on Demand