diff --git a/02-ctxfree/ctxfree.tex b/02-ctxfree/ctxfree.tex index 645c1072e3dbc31f3de4f22047ba058e346a8ec8..77e4e2653b0b21b2cb193b3bb8af6dea1699a5cc 100644 --- a/02-ctxfree/ctxfree.tex +++ b/02-ctxfree/ctxfree.tex @@ -581,7 +581,7 @@ a $\vert\beta\delta\vert > 0$. \proof Gramatiku generující~$L$ nejprve převedeme do Chomského normální formy. -Pak si všimneme, že je-li $\alpha$ dost dlouhé, musí být jeho derivační strom +Pak si všimneme, že je-li $\omega$ dost dlouhé, musí být jeho derivační strom dost hluboký (strom je binární, takže hloubka roste s~počtem listů aspoň logaritmicky). A~je-li dost hluboký, musí existovat cesta z~kořene do listu, na níž se nějaká proměnná vyskytuje vícekrát (stačí cesta o~$\vert V\vert$ hranách, tím pádem potřebujeme $n\ge 2^{\vert V\vert}$).