KUNC, Michal. Regular solutions of language inequalities and well quasi-orders. Theoretical Computer Science. Amsterdam: Elsevier, 2005, vol. 348, 2-3, p. 277-293. ISSN 0304-3975.
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 Theoretical Computer Science, Amsterdam, Elsevier, 2005, 0304-3975.
Other information
Original language English
Type of outcome Article in a journal
Field of Study 10101 Pure mathematics
Country of publisher Netherlands
Confidentiality degree is not subject to a state or trade secret
WWW URL
Impact factor Impact factor: 0.743
RIV identification code RIV/00216224:14310/05:00014532
Organization unit Faculty of Science
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: 22/1/2006 20:20.
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
MSM 143100009, plan (intention)Name: Matematické struktury algebry a geometrie
Investor: Ministry of Education, Youth and Sports of the CR, Mathematical structures of algebra and geometry
PrintDisplayed: 29/5/2024 19:00