Iterative arrays with limited nondeterministic communication cell
Dateien zu dieser Ressource
Datum
1999Autor
Buchholz, Thomas
Klein, Andreas
Kutrib, Martin
Zitierlink
http://dx.doi.org/10.22029/jlupub-6989Zusammenfassung
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 realtime language families. Finally we prove several closure properties of these families.