KUNC, Michal. Regular solutions of language inequalities and well quasi-orders. In Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings. Heidelberg: Springer-Verlag, 2004, p. 870-881. ISBN 3-540-22849-7.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Regular solutions of language inequalities and well quasi-orders
Name in Czech Regulární řešení jazykových nerovnic a dobrá kvaziuspořádání
Authors KUNC, Michal (203 Czech Republic, guarantor).
Edition Heidelberg, Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, p. 870-881, 2004.
Publisher Springer-Verlag
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10101 Pure mathematics
Country of publisher Germany
Confidentiality degree is not subject to a state or trade secret
WWW URL
RIV identification code RIV/00216224:14310/04:00011502
Organization unit Faculty of Science
ISBN 3-540-22849-7
UT WoS 000223656400073
Keywords in English Language equation; Regular language; Well quasi-order; Syntactic semigroup; Finite simple semigroup
Tags Finite simple semigroup, Language equation, Regular language, Syntactic semigroup, Well quasi-order
Changed by Changed by: doc. Mgr. Michal Kunc, Ph.D., učo 2906. Changed: 23/1/2006 15:24.
Abstract
By means of constructing suitable well quasi-orders of free monoids we prove that all maximal solutions of certain systems of language inequalities are regular. This way we deal with a wide class of systems of inequalities where all constants are languages recognized by finite simple semigroups. In a similar manner we also demonstrate that the largest solution of the inequality XK subset LX is regular provided the language L is regular.
Abstract (in Czech)
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í.
Links
GA201/01/0323, research and development projectName: Ekvacionální logika pologrup a aplikace
Investor: Czech Science Foundation, Equational logic of semigroups and applications
PrintDisplayed: 30/5/2024 09:00