Regular solutions of language inequalities and well quasi-orders
Název česky | Regulární řešení jazykových nerovnic a dobrá kvaziuspořádání |
---|---|
Autoři | |
Rok publikování | 2005 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Theoretical Computer Science |
Fakulta / Pracoviště MU | |
Citace | |
www | http://dx.doi.org/10.1016/j.tcs.2005.09.018 |
Obor | Obecná matematika |
Klíčová slova | Language equation; Regular language; Well quasi-order; Syntactic semigroup; Finite simple semigroup |
Popis | Pomocí vhodných dobrých kvaziuspořádání volných monoidů dokazujeme, že všechna maximální řešení jistých systémů jazykových nerovnic jsou regulární. Touto cestou řešíme rozsáhlou třídu systémů nerovnic, v nichž jsou všechny konstanty jazyky rozpoznávané konečnými jednoduchými pologrupami. Podobným způsobem rovněž ukazujeme, že největší řešení nerovnice XK podmnožina LX je regulární za předpokladu, že jazyk L je regulární. |
Související projekty: |