2006
On varieties of literally idempotent languages
KLÍMA, Ondřej a Libor POLÁKZákladní údaje
Originální název
On varieties of literally idempotent languages
Název česky
O varietách literálně idempotentních jazyků
Autoři
KLÍMA, Ondřej a Libor POLÁK
Vydání
Rennes, Internal Proceedings, Mons Days of Theoretical Computer Science, od s. 259-273, 15 s. 2006
Nakladatel
University Rennes
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Francie
Utajení
není předmětem státního či obchodního tajemství
Označené pro přenos do RIV
Ne
Organizační jednotka
Přírodovědecká fakulta
UT WoS
Klíčová slova anglicky
literal idempotence; varieties of languages
Příznaky
Mezinárodní význam
Změněno: 20. 11. 2008 17:14, doc. RNDr. Libor Polák, CSc.
V originále
A language $L\subseteq A^*$ is literally idempotent in case that $ua^2v\in L$ if and only if $uav\in L$, for each $u,v\in A^*$, $a\in A$. Such classes result naturally by taking all literally idempotent languages in a classical (positive) variety or by considering a certain closure operator on classes of languages. We initiate their systematic study. Various classes of such languages can be characterized using syntactic methods. A starting example is the class of all finite unions of $B^*_1 B^*_2\dots B^*_k$ where $B_1,\dots,B_k$ are subsets of a given alphabet $A$.
Česky
Jazyk $L\subseteq A^*$ je literálně idempotentní platí-li $ua^2v\in L$ právě když $uav\in L$, pro všechna $u,v\in A^*$, $a\in A$. Takovéto třídy přirozeně vznikají, vezmeme-li všechny literálně idempotentní jazyky v klasické (pozitivní) varietě nebo uvažujeme-li jistý uzávěrový operátor na třídách jazyků. Iniciujeme jejich systematické studium. Rozličné třídy těchto jazyků mohou být charakterizovány pomocí syntaktických metod. Prvním příkladem je třída všech konečných sjednocení jazyků $B^*_1 B^*_2\dots B^*_k$, kde $B_1,\dots,B_k$ jsou podmnožiny dané abecedy $A$.
Návaznosti
| GA201/06/0936, projekt VaV |
| ||
| MSM0021622409, záměr |
|