2005
Regular solutions of language inequalities and well quasi-orders
KUNC, MichalZákladní údaje
Originální název
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
KUNC, Michal (203 Česká republika, garant)
Vydání
Theoretical Computer Science, Amsterdam, Elsevier, 2005, 0304-3975
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10101 Pure mathematics
Stát vydavatele
Nizozemské království
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Impakt faktor
Impact factor: 0.743
Kód RIV
RIV/00216224:14310/05:00014532
Organizační jednotka
Přírodovědecká fakulta
UT WoS
000223656400073
Klíčová slova anglicky
Language equation; Regular language; Well quasi-order; Syntactic semigroup; Finite simple semigroup
Štítky
Změněno: 22. 1. 2006 20:20, doc. Mgr. Michal Kunc, Ph.D.
V originále
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.
Česky
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í.
Návaznosti
| MSM 143100009, záměr |
|