J 2005

Simple language equations

KUNC, Michal

Základní údaje

Originální název

Simple language equations

Název česky

Jednoduché jazykové rovnice

Autoři

Vydání

Bulletin of the European Association for Theoretical Computer Science EATCS, 2005, 0252-9742

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14310/05:00013635

Organizační jednotka

Přírodovědecká fakulta

Klíčová slova anglicky

Language equation; Regular language; Well quasi-order; Recursively enumerable language; Commutation of languages
Změněno: 23. 1. 2006 14:27, doc. Mgr. Michal Kunc, Ph.D.

Anotace

V originále

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.

Česky

Č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ů.

Návaznosti

MSM 143100009, záměr
Název: Matematické struktury algebry a geometrie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury algebry a geometrie