Table of Contents

Teorie algoritmů

Dodatečné příklady pro 1. test (aktuální pro B252)

Časová náročnost algoritmů (aktuální pro B252)

Ukázka 2. semestrálního testu

Kdo se pTAL (potřeba školní účet)

Tal testy

Odkazy na přednášky

22/23

24/25

Testy ze semestru

Zkouška 2025

Poznámky a příklady

Non-deterministic Turing Machine for $L = \{w00w \mid w \in \{0, 1\}^*\}$


The Turing machine $M$ realizes the function $f: \{a, b\}^* \to \{a, b\}^*$ defined by:

$ f(w) = a^k b^l, \quad \text{where}\ k = |w|_a \text{ and } l = |w|_b. $

(sorts a's and b's)