Informace o projektu
Efektivní charakterizace tříd konečných pologrup a formálních jazyků
- Kód projektu
- GA19-12790S
- Období řešení
- 1/2019 - 12/2021
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
-
Přírodovědecká fakulta
- doc. Mgr. Ondřej Klíma, Ph.D.
- doc. RNDr. Jiří Kaďourek, CSc.
- Mgr. Jonatan Kolegar
- doc. Mgr. Michal Kunc, Ph.D.
- Mgr. Radka Penčevová
- Mgr. Jana Volaříková, Ph.D.
Cílem projektu je získat výsledky směřující k vyřešení významných otázek v teorii regulárních jazyků a konečných pologrup, kterými jsou rozhodnutelnost zřetězovacích hierarchií regulárních jazyků, alternativní popisy důležitých pseudovariet pologrup a základní otázky teorie pseudovariet. Tohoto cíle hodláme dosáhnout použitím rozličných algebraických a kombinatorických technik, a to především konečné univerzální algebry, rovnostních teorií, konečných a prokonečných uspořádaných pologrup a kombinatorickou manipulací s termy. Na základě našich dřívějších výsledků budeme tyto matematické techniky dále rozpracovávat se zřetelem na možné aplikace na další otázky studované v teorii formálních jazyků. Výstupem budou odborné publikace, které budou prezentovány na prestižních mezinárodních konferencích teoretické informatiky a publikovány v uznávaných matematických časopisech.
Publikace
Počet publikací: 12
2024
-
Characterization of Ordered Semigroups Generating Well Quasi-Orders of Words
Theory of Computing Systems, rok: 2024, ročník: 68, vydání: 3, DOI
-
Profinite Congruences and Unary Algebras
Journal of Multiple-Valued Logic and Soft Computing, rok: 2024, ročník: 42, vydání: 4
2023
-
LOCALLY COUNTABLE PSEUDOVARIETIES
Publicacions Matemátiques, rok: 2023, ročník: 67, vydání: 1, DOI
2022
-
Geometrically closed positive varieties of languages
Information and Computation, rok: 2022, ročník: 288, vydání: October, DOI
-
On semidirectly closed pseudovarieties of finite semigroups and monoids
CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, rok: 2022, ročník: 65, vydání: 3, DOI
-
Well Quasi-Orders Arising from Finite Ordered Semigroups
Developments in Language Theory: 26th International Conference, DLT 2022, rok: 2022
2021
-
Binary patterns in the Prouhet-Thue-Morse sequence
Discrete Mathematics and Theoretical Computer Science, rok: 2021, ročník: 23, vydání: 3, DOI
-
On bases of identities of finite central locally orthodox completely regular semigroups
Semigroup Forum, rok: 2021, ročník: 102, vydání: 3, DOI
-
On Kovács–Newman ordered semigroups
Semigroup Forum, rok: 2021, ročník: 102, vydání: 3, DOI
2020
-
Geometrically Closed Positive Varieties of Star-Free Languages
LATA 2020, rok: 2020