Student se seznámí s existujícími dílčími výsledky ve snaze dokázat Billaudovu hypotézu a pokusí se je rozšířit, případně nalézt zajímavé příklady a protipříklady.
Seznam odborné literatury
F. Leve, G. Richomme, On a conjecture about finite fixed points of morphisms, Theoretical Computer Science, Volume 339, Pages 103-128.
Předběžná náplň práce
Jednoduchá zajímavá, ale asi těžká hypotéza z kombinatoriky na slovech. Cílem práce by bylo asi především hledat protipříklady pro příliš optimistické pokusy o důkaz, ačkoli ani úplné řešení hypotézy nelze vyloučit.
- zadáno a potvrzeno stud. odd.