Combinatorics on Words

Topic outline

• 

  Základní výsledky

  • Slova a volná pologrupa File
  • Komutující a konjugovaná slova File
  • Periody a Periodické lemma File
  • Obrazek k Periodickému lematu File

    Ilustrace indukčního kroku v Periodickém lematu

  • Zobecnění Periodického lemmatu a alternativní důkazy File

    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.

  • Lyndonova slova a věta o kritické faktorizaci. File

    Obsahuje oddíl Nejdelší neohraničené faktory, který nebude požadován u zkoušky.

  • Věta Lyndona a Schützenbergera File
• 

  Rovnice a řešení

  • Podpologrupy volné pologrupy a věta o defektu File
  • Principiální řešení File
  • Věta o kompaktnosti File
  • Velké nezávislé systémy File

    Pro ilustraci. Příklad není nutné u zkoušky znát zpaměti.

• 

  Isabelle

  • Stránka důkazového asistenta Isabelle URL

    Insatalace by měla být neproblematická.

  • Formalizace věty Lyndona a Schützenbergera File

    Formalizace poměrně těsně sleduje výše uvedený důkaz ze skript.

  • Základní teorie File

    Pomocný soubor CoWBasic obsahuje většinu ostatního materiálu z první části skript.

  • Úvod File

    Rukopis článku představujícího (mimo jiné) výše uvedené formalizace