Giessener Elektronische Bibliothek

GEB - Giessener Elektronische Bibliothek

Iterative arrays with limited nondeterministic communication cell

Buchholz, Thomas ; Klein, Andreas ; Kutrib, Martin

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

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:hebis:26-opus-1394

Universität Justus-Liebig-Universit√§t Gie√üen
Institut: Institut f√ľr Informatik
Fachgebiet: Informatik
DDC-Sachgruppe: Informatik
Dokumentart: ResearchPaper
Zeitschrift, Serie: IFIG Research Report ; 9901 / 1999
Sprache: Englisch
Erstellungsjahr: 1999
Publikationsdatum: 28.02.1999
Kurzfassung auf Englisch: Iterative arrays with restricted nondeterminism are investigated. Non-determinism is provided for the distinguished communication cell only. All the other cells are deterministic ones. Moreover, the number of allowed nondeterministic state transitions is limited dependent on the length of the input. It is shown that the limit can be reduced by a constant factor without affecting the language accepting capabilities, but for sublogarithmic limits there exists a infinite hierarchy of properly included real­time language families. Finally we prove several closure properties of these families.
Lizenz: Veröffentlichungsvertrag für Publikationen ohne Print on Demand