On classes of meet automata
Název česky | O třídách průsekových automatů |
---|---|
Autoři | |
Rok publikování | 2007 |
Druh | Další prezentace na konferencích |
Fakulta / Pracoviště MU | |
Citace | POLÁK, Libor. On classes of meet automata. In Summer School on Algebra and Ordered Sets, Tále, September 2 - 7, 2007. 2007. |
Popis | Faktorizujeme Eilenbergovu větu dávající do souvislosti konjunktivní variety jazyků a variety polookruhových homomorfismů přes tzv. variety průsekových automatů. Uvažujeme tři významné třídy jazyků, dvě z nich související s reverzibilními jazyky. Prezentujeme podmínky na průsekové automaty a identity pro polookruhové homomorfismy dávající jejich charakterizaci. |
Související projekty: |