Skip to main content
Side panel
DL 1
Home
Support
User support
GDPR
More
English (en)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
You are currently using guest access
Log in
Home
Support
Collapse
Expand
User support
GDPR
Open course index
Home
Courses
Faculty of Mathematics and Physics
Department of Algebra
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á.
Click on
Stránka důkazového asistenta Isabelle
to open the resource.
◄ Velké nezávislé systémy
Jump to...
Jump to...
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 ►