Abstract
In 1988 McNaughton et al introduced the class CRCL of Church-Rosser congruential languages as a way to define formal languages by confluent length-reducing string-rewriting systems. As other congruential language classes CRCL is quite limited, although it contains some languages that are not contextfree. In 2000 Niemann has shown that at least each regular language with polynomial density is Church-Rosser congruential. It is still an open question whether the class of regular languages is contained in CRCL. Here we give some families of regular languages of exponential density that are Church-Rosser congruential. More precisely, we show that some shuffle languages, as well as Level 1 of the Straubing-Thérien hierarchy, are in CRCL, using a sufficient condition under which a regular language is Church-Rosser congruential. Last, we give a family of group languages that are Church-Rosser congruential, but do not fulfill this condition.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ronald V. Book and Friedrich Otto. String-Rewriting Systems. Texts and Monographs in Computer Science. Springer, New-York, 1993.
Robert McNaughton, Paliath Narendran, and Friedrich Otto. Church-Rosser Thue systems and formal languages. Journal of the ACM, 35:324–344, 1988.
Gundula Niemann. Regular Languages and Church-Rosser Congruential Languages. In Rudolf Freund and Alica Kelemenova, editors, Proceedings of the International Workshop Grammar Systems 2000, pages 359–370. Silesian University at Opava, Faculty of Philosophy and Science, Institute of Computer Science, 2000.
Jean-Eric Pin. Syntactic semigroups. In Rozenberg and Salomaa [5], pages 679–746.
G. Rozenberg and A. Salomaa, editors. Handbook of Formal Languages, volume 1. Springer, 1997.
A. Szilard, S. Yu, K. Zhang, and J. Shallit. Characterizing regular languages with polynomial densities. In Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science, number 629, pages 494–503, Berlin/NewYork, 1992. Springer.
Sheng Yu. Regular languages. In Rozenberg and Salomaa [5], pages 41–110.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Niemann, G., Waldmann, J. (2002). Some Regular Languages That Are Church-Rosser Congruential. In: Kuich, W., Rozenberg, G., Salomaa, A. (eds) Developments in Language Theory. DLT 2001. Lecture Notes in Computer Science, vol 2295. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46011-X_29
Download citation
DOI: https://doi.org/10.1007/3-540-46011-X_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43453-5
Online ISBN: 978-3-540-46011-4
eBook Packages: Springer Book Archive