. "2001-01-01+01:00"^^ . "Syntactic Semiring of a Language" . "Berlin" . "Berlin" . . "P(GA201/01/0323)" . "3-540-42496-2" . "syntactic semiring, rational languages"@en . "[FA1B0A4E2784]" . . "Syntactic Semiring of a Language" . "RIV/00216224:14330/01:00004841" . . "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."@en . "698053" . . . "Syntactic Semiring of a Language"@en . "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." . . . "Springer-Verlag" . . . "RIV/00216224:14330/01:00004841!RIV/2002/GA0/143302/N" . "10"^^ . . "Syntactic Semiring of a Language"@en . . "1"^^ . "Mathematical foundations of computer science 2001" . "611" . . "0"^^ . "Pol\u00E1k, Libor" . "1"^^ . "14330" . "0"^^ . . .