Regularni reseni jazykovych nerovnic a dobra predusporadani

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F04%3A00011502" target="_blank" >RIV/00216224:14310/04:00011502 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Regular solutions of language inequalities and well quasi-orders
Popis výsledku v původním jazyce
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 subseteq LX is regular provided the language L is regular.
Název v anglickém jazyce
Regular solutions of language inequalities and well quasi-orders
Popis výsledku anglicky
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 subseteq LX is regular provided the language L is regular.

Projekt
<a href="/cs/project/GA201%2F01%2F0323" target="_blank" >GA201/01/0323: Ekvacionální logika pologrup a aplikace</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2004
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings
ISBN
3-540-22849-7
ISSN
—
e-ISSN
—
Počet stran výsledku
12
Strana od-do
870
Název nakladatele
Springer-Verlag
Místo vydání
Heidelberg
Místo konání akce
Turku, Finland
Datum konání akce
1. 1. 2004
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)