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: 12
2024
-
Characterization of Ordered Semigroups Generating Well Quasi-Orders of Words
Theory of Computing Systems, year: 2024, volume: 68, edition: 3, DOI
-
Profinite Congruences and Unary Algebras
Journal of Multiple-Valued Logic and Soft Computing, year: 2024, volume: 42, edition: 4
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