Giessener Elektronische Bibliothek

GEB - Giessener Elektronische Bibliothek

Hinweis zum Urheberrecht

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende

Efficient universal pushdown cellular automata and their application to complexity

Kutrib, Martin

pdf-Format: Dokument 1.pdf (322 KB)
ps gepackt: class="frontdoor">Dokument1.gz (197 KB)

Bookmark bei Connotea Bookmark bei
Freie Schlagwörter (Deutsch): universal pushdown cellular automata
Universität Justus-Liebig-Universität Gießen
Institut: Institut für Informatik
Fachgebiet: Informatik
DDC-Sachgruppe: Informatik
Dokumentart: ResearchPaper (Forschungsbericht, Arbeitspapier)
Zeitschrift, Serie: IFIG Research Report ; 0004 / 2000
Sprache: Englisch
Erstellungsjahr: 2000
Publikationsdatum: 08.02.2001
Kurzfassung auf Englisch: In order to obtain universal classical cellular automata an infinite space is required. Therefore, the number of required processors depends on the length of input data and, additionally, may increase during the computation. On the other hand, Turing machines are universal devices which have one processor only and additionally an infinite storage tape.
Here an in some sense intermediate model is studied. The pushdown cellular automata are a stack augmented generalization of classical cellular automata. They form a massively parallel universal model where the number of processors is bounded by the length of input data.

Effcient universal pushdown cellular automata and their efficiently verifiable encodings are proposed. They are applied to computational complexity, and tight time and stack-space hierarchies are shown.

CR Subject Classification (1998): F.1, F.4.3, B.6.1, E.1