Skip to content
Snippets Groups Projects
Commit c9bf4799 authored by Martin Mareš's avatar Martin Mareš
Browse files

Překlep

parent 66c3580d
No related branches found
No related tags found
No related merge requests found
...@@ -581,7 +581,7 @@ a $\vert\beta\delta\vert > 0$. ...@@ -581,7 +581,7 @@ a $\vert\beta\delta\vert > 0$.
\proof \proof
Gramatiku generující~$L$ nejprve převedeme do Chomského normální formy. 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). 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á 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}$). vyskytuje vícekrát (stačí cesta o~$\vert V\vert$ hranách, tím pádem potřebujeme $n\ge 2^{\vert V\vert}$).
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment