Abstract
A classical construction assigns to any language its (ordered) syntactic monoid. Recently the author defined the so-called syntactic semiring of a language. We discuss here the relationships between those two structures. Pin’s refinement of Eilenberg theorem gives a one-to-one correspondence between positive varieties of rational languages and pseudovarieties of ordered monoids. The author’s modification uses so-called conjunctive varieties of rational languages and pseudovarieties of idempotent semirings. We present here also several examples of our varieties of languages.
The author acknowledges the support of the Grant no. 201/01/0323 of the Grant Agency of the Czech Republic.
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
Almeida, J.; Finite Semigroups and Universal Algebra, World Scientific, 1994
Eilenberg, S.; Automata, Languages and Machines, Vol. B, Academic Press, 1976
Pin, J.-E.; Varieties of Formal Languages, Plenum, 1986
Pin, J.-E.; A variety theorem without complementation, Izvestiya VUZ Matematika 39 (1995) 80–90. English version: Russian Mathem. (Iz. VUZ) 39 (1995) 74-83
Pin, J.-E.; Syntactic semigroups, Chapter 10 in Handbook of Formal Languages, G. Rozenberg and A. Salomaa eds, Springer, 1997
Polák, L.; A classification of rational languages by semilattice-ordered monoids, http://www.math.muni.cz/~polak
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Polák, L. (2001). Syntactic Semiring of a Language. In: Sgall, J., Pultr, A., Kolman, P. (eds) Mathematical Foundations of Computer Science 2001. MFCS 2001. Lecture Notes in Computer Science, vol 2136. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44683-4_53
Download citation
DOI: https://doi.org/10.1007/3-540-44683-4_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42496-3
Online ISBN: 978-3-540-44683-5
eBook Packages: Springer Book Archive