This HTML5 document contains 41 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n15http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n22http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n7http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n13http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n21http://linked.opendata.cz/resource/domain/vavai/subjekt/
n6http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n12http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n10http://linked.opendata.cz/ontology/domain/vavai/
n16http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n19http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n8http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n14http://linked.opendata.cz/resource/domain/vavai/soutez/
n20http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F09%2F1313/
xsdhhttp://www.w3.org/2001/XMLSchema#
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n18http://reference.data.gov.uk/id/gregorian-year/
n17http://linked.opendata.cz/resource/domain/vavai/aktivita/

Statements

Subject Item
n2:GA201%2F09%2F1313
rdf:type
n10:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GA201/09/1313
dcterms:description
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. 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.
dcterms:title
Algebraické metody v teorii automatů a formálních jazyků II Algebraic Methods in Automata and Formal Language Theory II
skos:notation
GA201/09/1313
n3:aktivita
n17:GA
n3:celkovaStatniPodpora
n4:celkovaStatniPodpora
n3:celkoveNaklady
n4:celkoveNaklady
n3:datumDodatniDoRIV
2015-03-02+01:00
n3:druhSouteze
n22:VS
n3:duvernostUdaju
n16:S
n3:fazeProjektu
n19:91489491
n3:hlavniObor
n8:BA
n3:hodnoceniProjektu
n13:V
n3:kategorie
n12:ZV
n3:klicovaSlova
automaty; regulární jazyky; variety; polookruhy; jazykové rovnice
n3:partnetrHlavni
n21:orjk%3A14310
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
16
n3:pocetZverejnenychVysledkuVRIV
16
n3:posledniUvolneniVMinulemRoce
2011-04-16+02:00
n3:prideleniPodpory
n6:201%2F09%2F1313
n3:sberDatUcastniciPoslednihoRoku
n18:2011
n3:sberDatUdajeProjZameru
n18:2012
n3:soutez
n14:SGA02009GA-ST
n3:statusZobrazovaneFaze
n20:DUU
n3:typPojektu
n7:P
n3:ukonceniReseni
2011-12-31+01:00
n3:vedlejsiObor
n8:IN
n3:zahajeniReseni
2009-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
The project was excellent, both in terms of expertise and in terms of disbursement of funds. Řešení projektu proběhlo výtečně, jak z hlediska odborného tak i z hlediska čerpání finančních prostředků.
n3:zivotniCyklusProjektu
n15:ZBKU
n3:klicoveSlovo
automaty variety regulární jazyky polookruhy