On varieties of meet automata

• Název česky: Variety průsekových automatů
• Autoři: KLÍMA Ondřej; POLÁK Libor
• Rok publikování: 2008
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Theoretical Computer Science
• Fakulta / Pracoviště MU: Přírodovědecká fakulta
• Obor: Obecná matematika
• Klíčová slova: varieties of languages; varieties of meet automata; varieties of semiring homomorphisms
• Popis: Eilenbergova věta o varietách popisuje jednoznačnou korespondenci mezi varietami jazyků a varietami konečných pologrup. Druhý autor popsal podobnou korespondenci mezi konjunktivními varietami jazyků a varietami polookruhových homomorfismů. V tomto článku přidáváme třetí komponentu - uvažujeme též variety průsekových automatů. Ukazujeme tři podstatné příklady tříd jazyků, z nichž dva pracují s reversibilními jazyky. Pro jejich popis dáváme charakterizujicí podmínky.

Související projekty

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