Hierarchies of piecewise testable languages

• Název česky: Hierarchie po částech testovatelných jazyků
• Autoři: KLÍMA Ondřej; POLÁK Libor
• Rok publikování: 2007
• Druh: Další prezentace na konferencích
• Fakulta / Pracoviště MU: Přírodovědecká fakulta
• Popis: Výsledek náleží do oblasti algebraické teorie jazyků. Je všeobecně známo, že jazyk je po částech testovatelný právě tehdy, když je jeho syntaktický monoid konečný a J-triviální. V práci popisujeme mnoho tříd po částech testovatelných jazyků a charakterizujeme je pomocí vlastností jejich syntaktických struktur.

Související projekty

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