Lyndon words
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F21%3A00355430" target="_blank" >RIV/68407700:21240/21:00355430 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216208:11320/21:10438503
Výsledek na webu
<a href="https://www.isa-afp.org/entries/Combinatorics_Words_Lyndon.html" target="_blank" >https://www.isa-afp.org/entries/Combinatorics_Words_Lyndon.html</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Lyndon words
Popis výsledku v původním jazyce
Lyndon words are words lexicographically minimal in their conjugacy class. We formalize their basic properties and characterizations, in particular the concepts of the longest Lyndon suffix and the Lyndon factorization. Most of the work assumes a fixed lexicographical order. Nevertheless we also define the smallest relation guaranteeing lexicographical minimality of a given word (in its conjugacy class).
Název v anglickém jazyce
Lyndon words
Popis výsledku anglicky
Lyndon words are words lexicographically minimal in their conjugacy class. We formalize their basic properties and characterizations, in particular the concepts of the longest Lyndon suffix and the Lyndon factorization. Most of the work assumes a fixed lexicographical order. Nevertheless we also define the smallest relation guaranteeing lexicographical minimality of a given word (in its conjugacy class).
Klasifikace
Druh
J<sub>ost</sub> - Ostatní články v recenzovaných periodicích
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Návaznosti výsledku
Projekt
<a href="/cs/project/GA20-20621S" target="_blank" >GA20-20621S: Formalizace kombinatoriky na slovech</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2021
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Archive of Formal Proofs
ISSN
2150-914X
e-ISSN
2150-914X
Svazek periodika
—
Číslo periodika v rámci svazku
May
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
25
Strana od-do
—
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—