2008
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 (203 Česká republika) a Libor POLÁK (203 Česká republika, garant)
Vydání
RAIRO - Theoretical Informatics and Applications, Francie, 2008, 0988-3754
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10000 1. Natural Sciences
Stát vydavatele
Francie
Utajení
není předmětem státního či obchodního tajemství
Impakt faktor
Impact factor: 0.277
Kód RIV
RIV/00216224:14310/08:00024810
Organizační jednotka
Přírodovědecká fakulta
UT WoS
000256464100011
Klíčová slova anglicky
literal idempotence; varieties of languages
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 18. 6. 2009 15:00, doc. Mgr. Ondřej Klíma, Ph.D.
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 prí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 |
| ||
| 1M0545, projekt VaV |
|