On Interacting Automata with Limited Nondeterminism

Issue title: Cellular Automata

Article type: Research Article

Authors: Buchholz, Thomas | Klein, Andreas | Kutrib, Martin

Affiliations: Institute of Informatics, University of Giessen, Arndtstr. 2, D-35392 Giessen, Germany

Abstract: One-way and two-way cellular language acceptors with restricted nondeterminism 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 real-time, linear-time and unrestricted-time computations. A speed-up result that allows any linear-time computation to be sped-up to real-time 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.

Keywords: cellular automata, formal languages, nondeterminism, parallel computing

Journal: Fundamenta Informaticae, vol. 52, no. 1-3, pp. 15-38, 2002