Simple language equations
Result description
We survey results, both positive and negative, on regularity of maximal solutions of systems of implicit language equations and inequalities. These results concern inequalities with constant right-hand sides, one-sided linear inequalities, inequalities with restrictions on constants, and commutation equations and inequalities. In addition, we present some of these results in a generalized form in order to underline common principles.
Keywords
Language equationRegular languageWell quasi-orderRecursively enumerable languageCommutation of languages
The result's identifiers
Result code in IS VaVaI
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Simple language equations
Original language description
We survey results, both positive and negative, on regularity of maximal solutions of systems of implicit language equations and inequalities. These results concern inequalities with constant right-hand sides, one-sided linear inequalities, inequalities with restrictions on constants, and commutation equations and inequalities. In addition, we present some of these results in a generalized form in order to underline common principles.
Czech name
Jednoduché jazykové rovnice
Czech description
Článek shrnuje pozitivní i negativní výsledky o regularitě maximálních řešení systémů implicitních jazykových rovnic a nerovnic. Tyto výsledky se týkají nerovnic s konstantními pravými stranami, nerovnic s omezeními na konstanty a komutačních rovnic a nerovnic. Některé z těchto výsledků navíc uvádíme ve zobecněné podobě za účelem zdůraznění společných principů.
Classification
Type
Jx - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2005
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
Name of the periodical
Bulletin of the European Association for Theoretical Computer Science EATCS
ISSN
0252-9742
e-ISSN
—
Volume of the periodical
85
Issue of the periodical within the volume
February
Country of publishing house
GB - UNITED KINGDOM
Number of pages
22
Pages from-to
81
UT code for WoS article
—
EID of the result in the Scopus database
—
Basic information
Result type
Jx - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP
BA - General mathematics
Year of implementation
2005