Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Real-time, pseudo real-time, and linear-time ITA
Karel I., Yu S. Theoretical Computer Science47 (1):15-26,1986.Type:Article
Date Reviewed: May 1 1988

The iterative tree automata (ITAs) considered here are systolically operating, tree-structured, potentially infinite networks of finite automata. Information flows both ways between parent and child nodes; in a k-ary ITA, each node has k children. The networks are used as language recognizers, and input words are entered sequentially through the root automaton from which acceptance or rejection is also read. The paper is concerned with ITA-language families of low time complexity. Among these, the pseudo real-time languages are a new notion; pseudo real-time operation means that, between input symbols, the ITA receives a fixed number of internal clock pulses. As one might expect, every pseudo real-time ITA language can also be accepted in real time by increasing the arity of the ITA. A more surprising result is that this also holds for linear-time ITA languages. The final conclusion is that, if no restrictions are placed on arities, all three language families considered coincide. For the hardest part, the notion of an ITA with global broadcasting is introduced. The authors use the Leiserson-Saxe retiming lemma to convert ITAs with global broadcasting into ordinary ITAs [1]. Finally, the authors outline the construction of a real-time ITA memory.

The presentation is informal, and the paper is best read in conjunction with its predecessor by the same authors [2].

Reviewer:  M. Steinby Review #: CR111708
1) Leiserson, C. E., and Saxe, J. B.Optimizing synchronous systems, J. VLSI Comput. Syst. 1 (Spring 1983) 41–67. See<CR>, Rev. 8407–0537.
2) Culik, K., II, and Yu, S.Iterative tree automata, Theor. Comput. Sci. 32 (1984), 227–247.
Bookmark and Share
 
Unbounded-Action Devices (F.1.1 ... )
 
 
Classes Defined By Resource-Bounded Automata (F.4.3 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Unbounded-Action Devices": Date
An efficient solution of the firing mob problem
Karel I., Dube S. Theoretical Computer Science 91(1): 57-69, 1991. Type: Article
Nov 1 1992
Cellular automata machines: a new environment for modeling
Toffoli T. (ed), Margolus N., MIT Press, Cambridge, MA, 1987. Type: Book (9789780262200608)
Jan 1 1988
Computational limitations for small-depth circuits
Håstad J., MIT Press, Cambridge, MA, 1987. Type: Book (9780262081672)
May 1 1988
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy