Algorithms for circular morphisms and their fixed points
Public support
Provider
Czech Science Foundation
Programme
Post-graduate (doctorate) grants
Call for proposals
Postdoktorandské granty 14 (SGA0201300006)
Main participants
—
Contest type
VS - Public tender
Contract ID
13-35273P
Alternative language
Project name in Czech
Algoritmy pro cirkulární morfismy a jejich pevné body
Annotation in Czech
Faktorová komplexita je jedna z nejzkoumanějších vlastností nekonečných slov. Známá metoda pro její výpočet se opírá o bilaterální řády bispeciálních faktorů. U pevných bodů cirkulárních morfismů lze pozorovat pravidelnost (v jistém smyslu) ve výskytechbispeciálních faktorů a jejich bilaterálních řádů. Tento projekt se zaměřuje na detailní prozkoumání této pravidelnosti a její využítí k návrhu obecného algoritmu pro efektivní výpočet faktorové komplexity pro pevné body cirkulárních morfismů. Faktorovákomplexita a bispeciální řády jsou dále spjaty s dalšími vlastnostmi nekonečných slov a v druhé části projektu se na ně hodláme zaměřit. Cílem projektu je využít analýzu bispeciálních faktorů k odvození dalších vztahů a navržení algoritmů pro výpočet dalších vlastností jako je palindromický defekt a kritický exponent. Součástí projektu je implementace navržených algoritmů jako součást open-source matematického software Sage.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project has brought new results in the rather narrow area of circular morphisms on words. The numbers of publications (on average 3 quality papers each year) are adequate and the two collaborators have fair share of those. The main outcome of the project is the start of an independent scientific career od the PI. No remarkable problems with following grant rules or funding have been found.
Solution timeline
Realization period - beginning
Feb 1, 2013
Realization period - end
Dec 31, 2015
Project status
U - Finished project
Latest support payment
Mar 26, 2015
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
CEP16-GA0-GP-U/01:1
Data delivery date
May 6, 2016
Finance
Total approved costs
3,130 thou. CZK
Public financial support
3,130 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK