Zum Hauptinhalt
Website-Übersicht
DL 1
Startseite
More
Deutsch (de)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Sie sind als Gast angemeldet
Login
Startseite
Open course index
Startseite
Kurse
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á.
Klicken Sie auf '
Stránka důkazového asistenta Isabelle
', um die Ressource zu öffnen
◄ Velké nezávislé systémy
Direkt zu:
Direkt zu:
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 ►