KLÍMA, Ondřej a Jonatan KOLEGAR. Well Quasi-Orders Arising from Finite Ordered Semigroups. In Diekert, Volker, Volkov, Mikhail. Developments in Language Theory: 26th International Conference, DLT 2022. Cham: Springer, 2022, s. 201-212. ISBN 978-3-031-05577-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-05578-2_16.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Well Quasi-Orders Arising from Finite Ordered Semigroups
Autoři KLÍMA, Ondřej (203 Česká republika, garant, domácí) a Jonatan KOLEGAR (203 Česká republika, domácí).
Vydání Cham, Developments in Language Theory: 26th International Conference, DLT 2022, od s. 201-212, 12 s. 2022.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Německo
Utajení není předmětem státního či obchodního tajemství
Forma vydání tištěná verze "print"
WWW URL
Impakt faktor Impact factor: 0.402 v roce 2005
Kód RIV RIV/00216224:14310/22:00129106
Organizační jednotka Přírodovědecká fakulta
ISBN 978-3-031-05577-5
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-031-05578-2_16
UT WoS 000873662200016
Klíčová slova anglicky Finite semigroups; Well quasi-orders; Unavoidable words
Štítky rivok
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnila: Mgr. Marie Šípková, DiS., učo 437722. Změněno: 18. 1. 2023 13:53.
Anotace
In 1985, Bucher, Ehrenfeucht and Haussler studied derivation relations associated with a given set of context-free rules. Their research motivated a question regarding homomorphisms from the semigroup of all words onto a finite ordered semigroup. The question is which of these homomorphisms induce a well quasi-order on the set of all words. We show that this problem is decidable and the answer does not depend on the homomorphism, but it is a property of the ordered semigroup.
Návaznosti
GA19-12790S, projekt VaVNázev: Efektivní charakterizace tříd konečných pologrup a formálních jazyků
Investor: Grantová agentura ČR, Efektivní charakterizace tříd konečných pologrup a formálních jazyků
VytisknoutZobrazeno: 30. 4. 2024 11:58