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í	2005
Druh	Článek v odborném periodiku
Časopis / Zdroj	Theoretical Computer Science
Fakulta / Pracoviště MU	Přírodovědecká fakulta
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:	Matematické struktury algebry a geometrie