A classification of rational languages by semilattice-ordered monoids
Název česky | Klasifikace racionálních jazyků pomocí polosvazově uspořádaných monoidů |
---|---|
Autoři | |
Rok publikování | 2004 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Archivum Mathematicum |
Fakulta / Pracoviště MU | |
Citace | |
Obor | Obecná matematika |
Klíčová slova | syntactic semilattice-ordered monoid; conjunctive variety of languages |
Popis | Dokazujeme větu Eilenbergova typu : tzv. konjunktivní variety racionálních jazyků odpovídají pseudovarietám konečných polosvazově uspořádaných monoidů. Přechodem ke komplementům konjunktivních variet dostáváme tzv. disjunktivní variety. Prezentujeme netriviální příklad takové variety společně s ekvacionální charakterizcí příslušné pseudovariety. |
Související projekty: |