Algebraické metody v teorii automatů a formálních jazyků

Název projektu anglicky
Algebraic methods in automata and formal language theory
Anotace anglicky
The project is aimed to develop algebraic methods in formal language theory. In particular, we will further investigate classes of syntactic structures of regular languages like (ordered) syntactic monoids, syntactic semirings, syntactic homomorphisms, syntactic semirings with the image of the language, etc. with the goal of effectively characterizing membership to important classes of languages. We will also consider the graph structures of the canonical automata. We are going to continue our study ofimplicit language equations. We will mainly concentrate on finding some common factors of different results ensuring regularity of solutions with the aim of formulating a unified theory. We will attempt to develop algorithms for calculating maximal solutions in those cases where they are regular. We will also deal with generalizations of the classical languages of finite words to the so-called tree languages, languages of infinite words and trace languages. Within the project we are going to

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í poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Náš výzkum se soustředil na několik oblastí teorie formálních jazyků. Podle plánu jsme se věnovali studiu syntaktických struktur jazyků a získali tak nové výsledky o některých významných třídách regulárních jazyků. Několik důležitých tříd literálně idemp

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
CEP09-GA0-GA-U/02:2
Datum dodání záznamu
22. 10. 2009

Podobné projekty(10)