$$
\require{mathtools}
\DeclarePairedDelimiter\ceil{\lceil}{\rceil}
\DeclarePairedDelimiter\floor{\lfloor}{\rfloor}
\newcommand{\dv}[1]{\frac{\mathrm{d}}{\mathrm{d} #1}}
\newcommand{\dvv}[2]{\frac{\mathrm{d} #1}{\mathrm{d} #2}}
$$
# BI-AAG
- 01 Formální jazyk
- 01 Derivační strom
- 01 Abeceda, řetězec
- 01 Gramatika
- 01 Klasifikace gramatik a jazyků
- 02 Determinismus
- 02 Deterministický konečný automat
- 02 Nedeterministický konečný automat
- 02 Typy stavů (dosažitelný, užitečný, zbytečný)
- 02 KA s více počátečními stavy
- 03 Minimální DKA
- 03 Množina cílových stavů
- 03 Homogenní konečný automat
- 03.1 Sjednocení jazyků
- 03.2 Průnik jazyků
- 03.3 Doplněk jazyka
- 03.4 Součin jazyků
- 03.5 Iterace jazyka
- 04.1 Regulární výrazy
- 04.2 Hodnota RV
- 04.3 Ekvivalence RV
- 04.4 Derivace RV
- 04.5 Integrál RV
- 04.6 Regulární jazyk, převod RG-DKA
- 04.7 Převod gramatika-automat
- 05.1 Převod RV na KA
- 06.1 Pumping lemma
- 06.2 Použití pumping lemma
- 06.4 Myhill-Nerodova věta
# BI-AG1
- 01 Druhy grafů
- 01 Algoritmus BFS
- 01 Graf
- 01 Okolí, stupně
- 01 Podgraf
- 01 Orientovaný graf
- 02 Izomorfismus grafů
- 02 Automorfismus grafů
- 02 Souvislost grafu
- 02 Počty grafů
- 02 Výpočetní model RAM
- 02 Strom, les, list
- 03 Kostra grafu
- 03 Charakterizace stromů
- 03 Orientovaný acyklický graf
- 04 Amortizovaná analýza
- 04 HeapSort
- 04 Binární sčítačka
- 04 Zakořeněný strom
- 04.1 Binární minimová halda
- 04.2 Insert
- 04.3 Nalezení a odstranění minima
- 04.4 Sestavení haldy
- 05.1 Binomiální minimová halda
- 05.2 Binomiální strom
- 06.1 Vyhledávací strom
- 06.2 Vyváženost BVS
- 06.3 AVL stromy
- 06.4 Rotace v AVL
- 07.1 Slovník
- 07.2 Hashovací tabulka
- 07.3 Diskrétní pravděpodobnostní prostor
- 08.1 Rekurze