Abstract
Chomsky hierarchy is compared with the hierarchy of communication complexity for VLSI. It is shown that only regular languages belong to the same levels of both hierarchies. There are hard languages according to Chomsky hierarchy that belong to the lowest level in communication complexity hierarchy. On the other hand there is a deterministic linear language that requires the highest (linear) communication complexity. This is the main result because it implies that VLSI circuits need Θ(n) area and Θ(n2) area. (time)2 complexity to recognize deterministic context-free languages which solves an open problem of Hromkovič [7].
Preview
Unable to display preview. Download preview PDF.
References
A.V. Aho, J.D. Ullman and M. Yannakakis, On notions of information transfer in VLSI circuits. Proc. 15th Ann. ACM Symp. on Theory of Computing (1983) 133–139.
P. Ďuriš, Z. Galil and G. Schnitger, Lower bounds on communication complexity. Inform. and Comput. 73, 1 (1987) 1–22.
S. Hornick and M. Sarrafzatch, On problems transformability in VLSI. Algorithmica 1(1987) 97–112.
J. Hromkovič, The advantages of a new approach to defining the communication complexity for VLSI. Theoret. Comput. Sci. 57 (1988) 97–111.
J. Hromkovič, Communication complexity hierarchy. Theoret. Comput. Sci. 48(1986) 109–115.
J. Hromkovič, Lower bound techniques for VLSI algorithms. Proc. IMYCS '86, Hungarian Academy of Sciences (1986) 9–19.
J. Hromkovič, Relation between Chomsky hierarchy and communication complexity hierarchy. Acta Math. Univ. Comenian. 48–49 (1986) 311–317.
J. Ja, Ja and V.K. Prasanna Kumar, Information transfer in distributed computing with applications to VLSI. J. Assoc. Comput. Mach. 31 (1984) 150–162.
J. Ja, Ja, V.K. Prasanna Kumar and J. Simon, Information transfer under different sets of protocols. SIAM J. Comput. 13(1984) 840–849.
Ch. Papadimitriou and M. Sipser, Communication complexity. Proc. 14th Ann. ACM Symp. on Theory of Computing (1982) 196–200.
A.C. Yao, The entropic limitations of VLSI computations, Proc. 13th Ann. ACM Symp. on Theory of Computing (1981) 308–311.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jirásková, G. (1989). Chomsky hierarchy and communication complexity. In: Dassow, J., Kelemen, J. (eds) Machines, Languages, and Complexity. IMYCS 1988. Lecture Notes in Computer Science, vol 381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015924
Download citation
DOI: https://doi.org/10.1007/BFb0015924
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51516-6
Online ISBN: 978-3-540-48203-1
eBook Packages: Springer Book Archive