Lyndon words

Kód výsledku v IS VaVaI

RIV/68407700:21240/21:00355430 - isvavai.cz

Nalezeny alternativní kódy

RIV/00216208:11320/21:10438503

Výsledek na webu

https://www.isa-afp.org/entries/Combinatorics_Words_Lyndon.html

DOI - Digital Object Identifier

—

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).

Druh

J_ost - 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)

Projekt

GA20-20621S: Formalizace kombinatoriky na slovech

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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ů

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

—