We prove here an Eilenberg-type theorem for pseudovarieties of idempotent semiring homomorphisms. We also initiate the study of quite significant classes of languages - the so-called multiliteral varieties of regular languages.
We prove here an Eilenberg-type theorem for pseudovarieties of idempotent semiring homomorphisms. We also initiate the study of quite significant classes of languages - the so-called multiliteral varieties of regular languages. (en)
Formulujeme a dokazujeme věty Eilenbergova a Reitermanova typu pro pseudovariety homomorfismů idempotentních polookruhů. Začínáme se studiem významných tříd jazyků - tzv. multiliterálních variet regulárních jazyků. Konečně ukazujeme jak ostatní věty Eilenbergova typu plynou z naší. (cs)