Algebraické metody v teorii automatů a formálních jazyků II
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 12 (SGA02009GA-ST)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
201/09/1313
Alternativní jazyk
Název projektu anglicky
Algebraic Methods in Automata and Formal Language Theory II
Anotace anglicky
The project develops the algebraic methods in formal language theory. We will further investigate the classes of syntactic structures of regular languages like (ordered) syntactic monoids and semirings, and syntactic homomorphisms with the goal of effective characterizations of membership to important classes of languages. We will treat also classes of meet automata.We plan to continue our research on implicit language equations, with an emphasis on properties of their maximal solutions, aiming to identify which types of systems of language equations have all maximal solutions always regular. We will also concentrate on algebraic approach to the problem of state complexity of operations on regular languages represented by two-way automata.We will enrich the q-theory and consider various logics for characterizations of significant classes of languages.Within the project we are going to continue our broad international cooperation. The results will be presented at prestigious conferences and in acknowledged journals.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
IN - Informatika
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Řešení projektu proběhlo výtečně, jak z hlediska odborného tak i z hlediska čerpání finančních prostředků.
Termíny řešení
Zahájení řešení
1. 1. 2009
Ukončení řešení
31. 12. 2011
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
16. 4. 2011
Dodání dat do CEP
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
CEP12-GA0-GA-U/02:2
Datum dodání záznamu
2. 5. 2016
Finance
Celkové uznané náklady
900 tis. Kč
Výše podpory ze státního rozpočtu
900 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč