Regular solutions of language inequalities and well quasi-orders

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Název česky	Regulární řešení jazykových nerovnic a dobrá kvaziuspořádání
Autoři	KUNC Michal
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	Přírodovědecká fakulta
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:	Ekvacionální logika pologrup a aplikace