On interacting automata with limited nondeterminism
Thomas S. Buchholz, Andreas G. Klein, Martin Kutrib, Justus Liebig University Giessen · University writing server of the Justus Liebig University Giessen (Justus-Liebig-Universität Gießen) · 1998
Oneway and twoway cellular language acceptors with restricted non determinism are investigated. The number of nondeterministic state transitions is regarded as limited resource which depends on the length of the input. We center our attention to realtime, lineartime and unrestrictedtime computations. A speedup result that allows any lineartime computation to be spedup to realtime is proved. The relationships to deterministic arrays are considered. For an important subclass a characterization in terms of deterministic language families and [Epsilon]free homomorphisms is given. Finally we prove strong closure properties of languages acceptable with a constant number of nondeterministic transitions.