Přejít k hlavnímu obsahu
Boční panel
DL 1
Titulní stránka
Podpora uživatelů
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Další
Čeština (cs)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Momentálně na stránky přistupujete s právy hosta.
Přihlášení
Titulní stránka
Podpora uživatelů
Sbalit
Rozbalit
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Otevřít indexu kurzu
Titulní stránka
Kurzy
Matematicko-fyzikální fakulta
Katedra algebry
Combinatorics on Words
Isabelle
Formalizace věty Lyndona a Schützenbergera
Formalizace věty Lyndona a Schützenbergera
Formalizace poměrně těsně sleduje výše uvedený důkaz ze skript.
Klikněte na odkaz
CoWLyndonSchutzenberger.thy
pro zobrazení souboru.
◄ Stránka důkazového asistenta Isabelle
Přejít na...
Přejít na...
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
Stránka důkazového asistenta Isabelle
Základní teorie
Úvod
Základní teorie ►