Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{705380,
author = {Klíma, Ondřej and Polák, Libor},
address = {Rennes},
booktitle = {Internal Proceedings, Mons Days of Theoretical Computer Science},
keywords = {literal idempotence; varieties of languages},
language = {eng},
location = {Rennes},
pages = {259-273},
publisher = {University Rennes},
title = {On varieties of literally idempotent languages},
year = {2006}
}
TY - JOUR
ID - 705380
AU - Klíma, Ondřej - Polák, Libor
PY - 2006
TI - On varieties of literally idempotent languages
PB - University Rennes
CY - Rennes
KW - literal idempotence
KW - varieties of languages
N2 - 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$.
ER -
KLÍMA, Ondřej a Libor POLÁK. On varieties of literally idempotent languages. In \textit{Internal Proceedings, Mons Days of Theoretical Computer Science}. Rennes: University Rennes. s.~259-273. 2006.
|
