Informace o publikaci

On varieties of literally idempotent languages

Logo poskytovatele
Název česky O varietách literálně idempotentních jazyků
Autoři

KLÍMA Ondřej POLÁK Libor

Rok publikování 2006
Druh Článek ve sborníku
Konference Internal Proceedings, Mons Days of Theoretical Computer Science
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
Obor Informatika
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 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$.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info