Regular solutions of language inequalities and well quasi-orders
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Regular solutions of language inequalities and well quasi-orders
Original language description
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.
Czech name
Regularni reseni jazykovych nerovnic a dobra predusporadani
Czech description
Pomoci vhodnych dobrych predusporadani volnych monoidu je dokazano, ze vsechna maximalni reseni jistych systemu jazykovych nerovnic jsou regularni. Tato metoda je aplikovana na rozsahlou tridu systemu nerovnic, kde vsechny konstanty jsou jazyky rozpoznavane konecnymi jednoduchymi pologrupami. Podobne je rovnez dokazano, ze nejvetsi reseni nerovnosti XK subseteq LX je regularni za predpokladu, ze jazyk L je regularni.
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F01%2F0323" target="_blank" >GA201/01/0323: Equational logic of semigroups and applications</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings
ISBN
3-540-22849-7
ISSN
—
e-ISSN
—
Number of pages
12
Pages from-to
870
Publisher name
Springer-Verlag
Place of publication
Heidelberg
Event location
Turku, Finland
Event date
Jan 1, 2004
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—