Abstract
We characterize the deterministic context-free languages that are unions of equivalence classes in the equivalence generated by the one-sided Dyck reduction over a two-letter alphabet.
This research was supported in part by A.D.I. under contract 83/695
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
5. References
M. Benois: Parties rationnelles du groupe libre C.R. Acad. Sc. Paris, Ser. A 269, 1969, 1188–1190.
R. Book, M. Jantzen, and C. Wrathall: Monadic Thue Systems, Theoret. Comput. Sci 19, 1982, 231–251.
A. H. Clifford, and G. B. Preston: The algebraic theory of semigroups, Amer. Math. Soc, Vol 1: 1961, Vol 2: 1967.
Y. Cochet et M. Nivat: Une généralisation des ensembles de Dyck, Israel J. of Math. 9, 1971, 389–395.
G. Duchamp: Etude d'un treillis, relations d'équivalence régulières sur le monoïde bicyclique, to appear.
S. Ginsburg and S. Greibach: Deterministic context-free languages, Inform. and Control 9, 1966, 620–648.
M. Harrison: Introduction to formal language theory, Addison Wesley, 1978.
M. Jantzen: Thue systems and the Church-Rosser property, M.F.C.S. 1984, Lecture Notes in Computer Science 176, Springer, 1984, 80–95.
M. Nivat: On some families of languages related to the Dyck lnaguage, in Proc. of the Second Annual ACM Symp. on Computing, 1970, 221–225.
J.F. Perrot: Monoïdes syntactiques des langages algébriques, Acta Informatica 7, 1977, 399–413.
J.F. Perrot et J. Sakarovitch: Lanages algébriques déterministes et groupes abéliens, in Automata Theory and Formal Languages (H. Brakhage, ed.), Lecture Notes in Computer Science 33, Springer, 1975, 20–30.
J. Sakarovitch: Syntaxe des langages de Chomsky. Th. Sc. Math., Univ. Paris VII, Paris, 1979.
J. Sakarovitch: Théorème de transversale rationnelle pour les automates à pile déterministes, in Proc. of 4th G.I. Conference on Theorical Computer Science (K. Weihrauch ed.), Lecture Notes in Computer Science 67, Springer, 1979, 276–285.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Romian, F., Sakarovitch, J. (1986). One-sided Dyck reduction over two letter alphabet and deterministic context-free languages. In: Gruska, J., Rovan, B., Wiedermann, J. (eds) Mathematical Foundations of Computer Science 1986. MFCS 1986. Lecture Notes in Computer Science, vol 233. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016282
Download citation
DOI: https://doi.org/10.1007/BFb0016282
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16783-9
Online ISBN: 978-3-540-39909-4
eBook Packages: Springer Book Archive