Úvod
Osnova sekce
-
-
verze 17.5.2026, opravy v sekci prostorové složitosti a shrnutí,
verze 11.5.2026, opravy v sekci časové složitosti,
verze 12.4.2026, opravy sazby a části přesunuté do dodatků (inverzní homomorfizmus, Dyckovy jazyky).
-
Velmi stručný obsah přednášky ve třech obrázcích a třech seznamech.
Poslední aktualizace 29.5.2026 (odmazání substituce apod., tj. neprobíraného)
-
-
-
automaty DFA, NFA, PDA, regulární výrazy, Turingovy stroje v přiloženém souboru.
Kromě knihoven v přiloženém souboru můžete zkusit např. automata-toolkit · PyPI pro transformace automatů na regulární výraz a opačně.
Abstract syntax trees ast — Abstract syntax trees — Python 3.14.3 documentation
-
-