. "http://www.isvav.cz/projectDetail.do?rowId=GA201/09/1313"^^ . . "2011-12-31+01:00"^^ . "automaty; regul\u00E1rn\u00ED jazyky; variety; polookruhy; jazykov\u00E9 rovnice"@en . . "automaty" . . "0"^^ . "2015-03-02+01:00"^^ . "GA201/09/1313" . "2011-04-16+02:00"^^ . "0"^^ . " variety" . "1"^^ . . "2009-01-01+01:00"^^ . . "Algebraick\u00E9 metody v teorii automat\u016F a form\u00E1ln\u00EDch jazyk\u016F II" . " regul\u00E1rn\u00ED jazyky" . " polookruhy" . . "16"^^ . "16"^^ . . . . . . "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."@en . . "The project was excellent, both in terms of expertise and in terms of disbursement of funds."@en . . "Algebraic Methods in Automata and Formal Language Theory II"@en . . . "\u0158e\u0161en\u00ED projektu prob\u011Bhlo v\u00FDte\u010Dn\u011B, jak z hlediska odborn\u00E9ho tak i z hlediska \u010Derp\u00E1n\u00ED finan\u010Dn\u00EDch prost\u0159edk\u016F."@cs . . "Charakterizace v\u00FDznamn\u00FDch t\u0159\u00EDd jazyk\u016F syntaktick\u00FDmi strukturami a logikami, studium t\u0159\u00EDd pr\u016Fsekov\u00FDch automat\u016F, studium implicitn\u00EDch jazykov\u00FDch rovnic, stavov\u00E1 slo\u017Eitost operac\u00ED s dvoucestn\u00FDmi automaty, q-teorie Prezentace na presti\u017En\u00EDch konferenc\u00EDch, publikace v uzn\u00E1van\u00FDch \u010Dasopisech." . . .