Prectena 1. kapitola, nekolik nesmyslu opraveno.
Upravy Kapitoly 2, nastrel Zaveru.
Serious: Thesis 1.8: Bnd(n), ... are NOT languages but functions.