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
2020
-
On semidirectly closed non-aperiodic pseudovarieties of finite monoids
Proceedings of the Edinburgh Mathematical Society, rok: 2020, ročník: 63, vydání: 4, DOI
2019
-
On singleton kernel classes in the lattice of varieties of completely regular semigroups
International Journal of Algebra and Computation, rok: 2019, ročník: 29, vydání: 8, DOI