On varieties of literally idempotent languages
Název česky | O varietách literálně idempotentních jazyků |
---|---|
Autoři | |
Rok publikování | 2008 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | RAIRO - Theoretical Informatics and Applications |
Fakulta / Pracoviště MU | |
Citace | |
Obor | Teorie informace |
Klíčová slova | literal idempotence; varieties of languages |
Popis | 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$. |
Související projekty: |