Passer au contenu principal
Panneau latéral
DL 1
Accueil
Plus
Français (fr)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Vous êtes connecté anonymement
Connexion
Accueil
Ouvrir l'index du cours
Accueil
Cours
Combinatorics on Words
Isabelle
Stránka důkazového asistenta Isabelle
Stránka důkazového asistenta Isabelle
Insatalace by měla být neproblematická.
Cliquer sur
Stránka důkazového asistenta Isabelle
pour ouvrir la ressource.
◄ Velké nezávislé systémy
Aller à…
Aller à…
Slova a volná pologrupa
Komutující a konjugovaná slova
Periody a Periodické lemma
Obrazek k Periodickému lematu
Zobecnění Periodického lemmatu a alternativní důkazy
Lyndonova slova a věta o kritické faktorizaci.
Věta Lyndona a Schützenbergera
Podpologrupy volné pologrupy a věta o defektu
Principiální řešení
Věta o kompaktnosti
Velké nezávislé systémy
Formalizace věty Lyndona a Schützenbergera
Základní teorie
Úvod
Formalizace věty Lyndona a Schützenbergera ►