Combinatorics on Words

Section outline

• Select section General

  General

  Collapse all Expand all
• Select section Základní výsledky

  Základní výsledky

  • Select activity Slova a volná pologrupa

    

    Slova a volná pologrupa File
  • Select activity Komutující a konjugovaná slova

    

    Komutující a konjugovaná slova File
  • Select activity Periody a Periodické lemma

    

    Periody a Periodické lemma File
  • Select activity Obrazek k Periodickému lematu

    

    Obrazek k Periodickému lematu File

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

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

    

    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.

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

    

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

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

  • Select activity Věta Lyndona a Schützenbergera

    

    Věta Lyndona a Schützenbergera File
• Select section Rovnice a řešení

  Rovnice a řešení

  • Select activity Podpologrupy volné pologrupy a věta o defektu

    

    Podpologrupy volné pologrupy a věta o defektu File
  • Select activity Principiální řešení

    

    Principiální řešení File
  • Select activity Věta o kompaktnosti

    

    Věta o kompaktnosti File
  • Select activity Velké nezávislé systémy

    

    Velké nezávislé systémy File

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

• Select section Isabelle

  Isabelle

  • Select activity Stránka důkazového asistenta Isabelle

    

    Stránka důkazového asistenta Isabelle URL

    Insatalace by měla být neproblematická.

  • Select activity Formalizace věty Lyndona a Schützenbergera

    

    Formalizace věty Lyndona a Schützenbergera File

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

  • Select activity Základní teorie

    

    Základní teorie File

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

  • Select activity Úvod

    

    Úvod File

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