On classes of meet automata

• Název česky: O třídách průsekových automatů
• Autoři: POLÁK Libor
• Rok publikování: 2007
• Druh: Další prezentace na konferencích
• Fakulta / Pracoviště MU: Přírodovědecká fakulta
• 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

• Matematické struktury a jejich fyzikální aplikace
• Algebraické metody v teorii automatů a formálních jazyků