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
URL: http://geb.uni-giessen.de/geb/volltexte/1999/139/
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