Combinatorics on Words
Тематический план
-
-
-
Zobecnění peridoického lemmatu pro více než dvě periody a dva alternativní důkazy základní formy Periodického lemmatu: pomocí Fourierovy transformace a pomocí formálních řad. Nebude požadováno ke zkoušce.
-
Obsahuje oddíl Nejdelší neohraničené faktory, který nebude požadován u zkoušky.
-
-
-
Formalizace poměrně těsně sleduje výše uvedený důkaz ze skript.
-
Pomocný soubor CoWBasic obsahuje většinu ostatního materiálu z první části skript.