Iterative tree arrays with logarithmic depth

An iterative tree array (ITA) is a binary tree-connected systolic network in which each cell is a finite-state machine and the input is provided serially to the root. We present an algorithm for simulating a pushdown stack of size S{n) on an ITA of depth logS(n) in real-time. Some interesting applications are the following: 1) Every linear iterative array operating in (simultaneous) time T(n) and space S(n) can be simulated by an ITA in time T(n) and depth log S(n). 2) S(n)-space bounded on-line TM's are equivalent to log S(n)-depth bounded ITA's. 3) log n depth is a necessary and sufficient condition for an ITA to recognize every context-free language. 4) log log n depth is a necessary condition for an ITA to recognize a nonregular set. 5) Every on-line nondeterministic TM with log n-bounded nondeterminism operating in linear time and space can be simulated by an ITA with O(log n) depth in linear time.

[1]  Mikhail J. Atallah,et al.  A Generalized Dictionary Machine for VLSI , 1985, IEEE Transactions on Computers.

[2]  S. Rao Kosaraju Speed of Recognition of Context-Free Languages by Array Automata , 1975, SIAM J. Comput..

[3]  Patrick C. Fischer,et al.  Computations with a restricted number of nondeterministic steps (Extended Abstract) , 1977, STOC '77.

[4]  Oscar H. Ibarra,et al.  Designing Systolic Algorithms Using Sequential Machines , 1986, IEEE Transactions on Computers.

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

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

[7]  Arnold L. Rosenberg,et al.  A Dictionary Machine (for VLSI) , 1982, IEEE Transactions on Computers.

[8]  Jeffrey D. Ullman,et al.  Formal languages and their relation to automata , 1969, Addison-Wesley series in computer science and information processing.

[9]  Michael A. Harrison,et al.  Introduction to formal language theory , 1978 .