Project information
Efektivní charakterizace tříd konečných pologrup a formálních jazyků
- Project Identification
- GA19-12790S
- Project Period
- 1/2019 - 12/2021
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
-
Faculty of Science
- 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.
Publications
Total number of publications: 10
2023
-
LOCALLY COUNTABLE PSEUDOVARIETIES
Publicacions Matemátiques, year: 2023, volume: 67, edition: 1, DOI
2022
-
Geometrically closed positive varieties of languages
Information and Computation, year: 2022, volume: 288, edition: October, DOI
-
On semidirectly closed pseudovarieties of finite semigroups and monoids
CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, year: 2022, volume: 65, edition: 3, DOI
-
Well Quasi-Orders Arising from Finite Ordered Semigroups
Developments in Language Theory: 26th International Conference, DLT 2022, year: 2022
2021
-
Binary patterns in the Prouhet-Thue-Morse sequence
Discrete Mathematics and Theoretical Computer Science, year: 2021, volume: 23, edition: 3, DOI
-
On bases of identities of finite central locally orthodox completely regular semigroups
Semigroup Forum, year: 2021, volume: 102, edition: 3, DOI
-
On Kovács–Newman ordered semigroups
Semigroup Forum, year: 2021, volume: 102, edition: 3, DOI
2020
-
Geometrically Closed Positive Varieties of Star-Free Languages
LATA 2020, year: 2020
-
On semidirectly closed non-aperiodic pseudovarieties of finite monoids
Proceedings of the Edinburgh Mathematical Society, year: 2020, volume: 63, edition: 4, DOI
2019
-
On singleton kernel classes in the lattice of varieties of completely regular semigroups
International Journal of Algebra and Computation, year: 2019, volume: 29, edition: 8, DOI