This is an old revision of the document!


Teorie algoritmů

Odkazy na přednášky

Testy ze semestru

Zkouška 2025

První termín

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)

Navigation

Playground

QR Code
QR Code courses:b4m01tal (generated for current page)