Algoritmy pro cirkulární morfismy a jejich pevné body

Poskytovatel

Grantová agentura České republiky

Program

Postdoktorandské granty

Veřejná soutěž

Postdoktorandské granty 14 (SGA0201300006)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

13-35273P

Název projektu anglicky

Algorithms for circular morphisms and their fixed points

Anotace anglicky

Factor complexity is one of the most investigated properties of infinite words. A known method for its calculation is based on bilateral orders of bispecial factors. One can observe a regularity (in a certain sense) in occurrences of bispecial factors and their bilateral orders in fixed point of circular morphisms. This project concentrates on a detailed investigation of these regularities and intends to use them to design a general algorithm for effective calculation of factor complexity of such fixedpoints. Factor complexity and bilateral orders are connected to other properties of infinite words and in the second part of the project we focus on these relations. The goal of the project is to use the analysis of bispecial factors to derive further relations and design an algorithm to calculate properties of inifinite words such as palindromic defect and critical exponent. Part of the project is an implementation of the designed algorithms as part of the open-source mathematics software Sage.

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

Projekt přinesl nové výsledky v poměrně úzké oblasti cirkulárních morfismů na slovech. Počty publikací (v průměru 3 kvalitní za rok) jsou adekvátní a podíl spolupracovníků na nich odpovídající plánovanému zapojení. Hlavní význam tohoto postdoktorského p?

Zahájení řešení

1. 2. 2013

Ukončení řešení

31. 12. 2015

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

26. 3. 2015

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

CEP16-GA0-GP-U/01:1

Datum dodání záznamu

6. 5. 2016

Celkové uznané náklady

3 130 tis. Kč

Výše podpory ze státního rozpočtu

3 130 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč