2006
On varieties of literally idempotent languages
KLÍMA, Ondřej and Libor POLÁKBasic information
Original name
On varieties of literally idempotent languages
Name in Czech
O varietách literálně idempotentních jazyků
Authors
KLÍMA, Ondřej and Libor POLÁK
Edition
Rennes, Internal Proceedings, Mons Days of Theoretical Computer Science, p. 259-273, 15 pp. 2006
Publisher
University Rennes
Other information
Language
English
Type of outcome
Proceedings paper
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
France
Confidentiality degree
is not subject to a state or trade secret
Organization unit
Faculty of Science
UT WoS
000256464100011
Keywords in English
literal idempotence; varieties of languages
Tags
International impact
Changed: 20/11/2008 17:14, doc. RNDr. Libor Polák, CSc.
In the original language
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$.
In Czech
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$.
Links
| GA201/06/0936, research and development project |
| ||
| MSM0021622409, plan (intention) |
|