Algebraic Methods in Automata and Formal Language Theory II
Project goals
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.
Keywords
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 12 (SGA02009GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
201/09/1313
Alternative language
Project name in Czech
Algebraické metody v teorii automatů a formálních jazyků II
Annotation in Czech
Charakterizace významných tříd jazyků syntaktickými strukturami a logikami, studium tříd průsekových automatů, studium implicitních jazykových rovnic, stavová složitost operací s dvoucestnými automaty, q-teorie Prezentace na prestižních konferencích, publikace v uznávaných časopisech.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
10101 - Pure mathematics
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The project was excellent, both in terms of expertise and in terms of disbursement of funds.
Solution timeline
Realization period - beginning
Jan 1, 2009
Realization period - end
Dec 31, 2011
Project status
U - Finished project
Latest support payment
Apr 16, 2011
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP12-GA0-GA-U/02:2
Data delivery date
May 2, 2016
Finance
Total approved costs
900 thou. CZK
Public financial support
900 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
900 CZK thou.
Public support
900 CZK thou.
100%
Provider
Czech Science Foundation
CEP
BA - General mathematics
Solution period
01. 01. 2009 - 31. 12. 2011