From c9bf479923aceee3a9bbbff23aac580f0b7644ff Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Fri, 31 May 2024 15:34:29 +0200
Subject: [PATCH] =?UTF-8?q?P=C5=99eklep?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
02-ctxfree/ctxfree.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/02-ctxfree/ctxfree.tex b/02-ctxfree/ctxfree.tex
index 645c107..77e4e26 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}$).
--
GitLab