Iterative Arrays with Small Time Bounds

An iterative array is a line of interconnected interacting finite automata. One distinguished automaton, the communication cell, is connected to the outside world and fetches the input serially symbol by symbol. Sometimes in the literature this model is referred to as cellular automaton with sequential input mode. We investigate deterministic iterative arrays (IA) with small time bounds between real-time and linear-time. It is shown that there exists an infinite dense hierarchy of strictly included complexity classes in that range. The result closes the last gap in the time hierarchy of IAs.

[1]  Stephen N. Cole.  Real-Time Computation by n-Dimensional Iterative Arrays of Finite-State Machines , 1969, IEEE Trans. Computers.

[2]  Karel Culik,et al.  Iterative Tree Automata , 1984, Theor. Comput. Sci..

[3]  Joel I. Seiferas.  Linear-Time Computation by Nondeterministic Multidimensional Iterative Arrays , 1977, SIAM J. Comput..

[4]  Oscar H. Ibarra,et al.  Some results concerning linear iterative (systolic) arrays , 1985, J. Parallel Distributed Comput..

[5]  Martin Kutrib,et al.  On the power of one-way bounded cellular time computers , 1997, Developments in Language Theory.

[6]  Martin Kutrib,et al.  Some Relations Between Massively Parallel Arrays , 1997, Parallel Comput..

[7]  Véronique Terrier,et al.  Signals in One-Dimensional Cellular Automata , 1999, Theor. Comput. Sci..

[8]  Véronique Terrier,et al.  On Real Time One-Way Cellular Array , 1995, Theor. Comput. Sci..

[9]  W. Beyer.  RECOGNITION OF TOPOLOGICAL INVARIANTS BY ITERATIVE ARRAYS , 1969 .

[10]  Tao Jiang,et al.  On One-Way Cellular Arrays , 1987, SIAM J. Comput..

[11]  Patrick C. Fischer,et al.  Generation of Primes by a One-Dimensional Real-Time Iterative Array , 1965, JACM.

[12]  N. H. Chein.  EBE: a language for specifying the expected behavior of programs during debugging , 1977 .

[13]  Katsunobu Imai,et al.  On Time-Constructible Functions in One-Dimensional Cellular Automata , 1999, FCT.

[14]  Martin Kutrib,et al.  On time computability of functions in one-way cellular automata , 1998, Acta Informatica.

[15]  Oscar H. Ibarra,et al.  Two-Dimensional Iterative Arrays: Characterizations and Applications , 1988, Theor. Comput. Sci..

[16]  Oscar H. Ibarra,et al.  Parallel Parsing on a One-Way Array of Finite-State Machines , 1987, IEEE Transactions on Computers.

[17]  Alvy Ray Smith,et al.  Real-Time Language Recognition by One-Dimensional Cellular Automata , 1972, J. Comput. Syst. Sci..