Efektivní charakterizace tříd konečných pologrup a formálních jazyků

Název projektu anglicky
Effective characterizations of classes of finite semigroups and formal languages
Anotace anglicky
The goal of the project is to obtain results aiming at potential solutions of important questions in the theory of regular languages and finite semigroups, namely, decidability of concatenation hierarchies of regular languages, alternative descriptions of important pseudovarieties of semigroups and principal questions of the theory of pseudovarieties. We plan to reach this goal using various algebraic and combinatorial techniques, in particular, finite universal algebra, equational theories, finite and profinite ordered semigroups and combinatorial manipulation of terms. Based on our previous results, we will further develop these mathematical techniques, with the view of potential applications to other questions studied in formal language theory. The output will consist of scientific publications, which will be presented at prestigious international conferences in theoretical computer science and published in respected mathematical journals.

Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
10101 - Pure mathematics
OECD FORD - vedlejší obor
—
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
BA - Obecná matematika

Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP22-GA0-GA-R
Datum dodání záznamu
22. 2. 2022

Podobné projekty(10)