Combinatorics on Words

Osnova sekce

• Vybrat sekci Úvod

  Úvod

  Sbalit vše Rozbalit vše
• Vybrat sekci Základní výsledky

  Základní výsledky

  • Vybrat aktivitu Slova a volná pologrupa

    

    Slova a volná pologrupa Soubor
  • Vybrat aktivitu Komutující a konjugovaná slova

    

    Komutující a konjugovaná slova Soubor
  • Vybrat aktivitu Periody a Periodické lemma

    

    Periody a Periodické lemma Soubor
  • Vybrat aktivitu Obrazek k Periodickému lematu

    

    Obrazek k Periodickému lematu Soubor

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

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

    

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

    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.

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

    

    Lyndonova slova a věta o kritické faktorizaci. Soubor

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

  • Vybrat aktivitu Věta Lyndona a Schützenbergera

    

    Věta Lyndona a Schützenbergera Soubor
• Vybrat sekci Rovnice a řešení

  Rovnice a řešení

  • Vybrat aktivitu Podpologrupy volné pologrupy a věta o defektu

    

    Podpologrupy volné pologrupy a věta o defektu Soubor
  • Vybrat aktivitu Principiální řešení

    

    Principiální řešení Soubor
  • Vybrat aktivitu Věta o kompaktnosti

    

    Věta o kompaktnosti Soubor
  • Vybrat aktivitu Velké nezávislé systémy

    

    Velké nezávislé systémy Soubor

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

• Vybrat sekci Isabelle

  Isabelle

  • Vybrat aktivitu Stránka důkazového asistenta Isabelle

    

    Stránka důkazového asistenta Isabelle URL

    Insatalace by měla být neproblematická.

  • Vybrat aktivitu Formalizace věty Lyndona a Schützenbergera

    

    Formalizace věty Lyndona a Schützenbergera Soubor

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

  • Vybrat aktivitu Základní teorie

    

    Základní teorie Soubor

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

  • Vybrat aktivitu Úvod

    

    Úvod Soubor

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