Informace o publikaci
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í | 2004 |
| Druh | Článek ve sborníku |
| Konference | Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://springerlink.metapress.com/link.asp?id=2blp4dvy8m14mmy3 |
| 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: |