On one-way cellular arrays

Journal Article · Tue Dec 01 00:00:00 EST 1987 · SIAM J. Comput.; (United States)

DOI:https://doi.org/10.1137/0216072· OSTI ID:5599740

Ibarra, O H; Jiang, T

There are two simple models of a parallel language recognizer: one-way cellular array (OCA) and one-way iterative array (OIA). For inputs of length n, both arrays consist of n identical finite-state machines (cells). The communication between cells is one way, from left to right. The difference in the two models is in the manner in which the input is applied. For the OCA, the input is applied to the cells in parallel. For the OIA, the input is applied serially to the leftmost processor. An input string is accepted if the rightmost cell eventually enters an accepting state. The authors show that OCA's accept exactly the same class of languages as OIA's. It is relatively easy to show that OIA's can simulate OCA's. The difficult part is the converse, i.e., that OCA's can simulate OIA's. This is rather surprising, since in an OIA, every cell of the array has access to each symbol of the input string, whereas in an OCA, the ith cell can only access the first i symbols of the input. This result, when combined with known results concerning OIA's, answers some open questions concerning the computational complexity of OCA's. They also prove some new results concerning linear-time OCA's and OIA's. For example, they show: (a) linear-time OCA's are equivalent to 2n-time OIA's (note that 2n-time is optimal for OIA's); (2) the concatenation of a linear-time OCA language with a real-time (i.e. n-time) OCA language is a linear-time OCA language; (3) every bounded language accepted by a one-way multihead nondeterministic pushdown automation is a linear-time OCA language.

• Research Organization: Dept. of Computer Science, Univ. of Minnesota, Minneapolis, MN 55455
• OSTI ID: 5599740
• Journal Information: SIAM J. Comput.; (United States), Vol. 16:6
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
ARRAY PROCESSORS
COMPUTERIZED SIMULATION
PARALLEL PROCESSING
AUTOMATION
COMPUTER ARCHITECTURE
DATA TRANSMISSION SYSTEMS
PROGRAMMING LANGUAGES
SUPERCOMPUTERS
COMPUTERS
DIGITAL COMPUTERS
PROGRAMMING
SIMULATION
990210* - Supercomputers- (1987-1989)