From 1074fdfb0ba9540690a82278c4dc3add2f4c4f5c Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sat, 27 Jul 2024 21:36:03 +0200
Subject: [PATCH] =?UTF-8?q?Opravy=20drobn=C3=BDch=20p=C5=99eklep=C5=AF?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
01-regular/regular.tex | 4 ++--
02-ctxfree/ctxfree.tex | 2 +-
03-recursive/recursive.tex | 2 +-
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/01-regular/regular.tex b/01-regular/regular.tex
index 3ed2b44..673df84 100644
--- a/01-regular/regular.tex
+++ b/01-regular/regular.tex
@@ -233,7 +233,7 @@ Jejich \em{součin} $A_1\times A_2$ je automat
$A = (Q, \Sigma, \delta, q_0, F)$ definovaný takto:
\list{o}
\:$Q = Q_1\times Q_2$,
- \cmt{ve stavu si pamatujeme si stav obou automatů}
+ \cmt{ve stavu si pamatujeme stav obou automatů}
\:$\delta((s_1, s_2), x) = (\delta_1(s_1, x), \delta_2(s_2, x))$,
\cmt{simulujeme jeden krok každého automatu}
\:$q_0 = (q_{01}, q_{02})$,
@@ -256,7 +256,7 @@ Automat může místo rozpoznávání jazyka produkovat výstup.
To můžeme definovat například následovně:
\defn{\em{Mooreův stroj}
-je uspořádaná pětice $(Q,\Sigma,\Delta,\delta,q_0,G)$, kde:
+je uspořádaná šestice $(Q,\Sigma,\Delta,\delta,q_0,G)$, kde:
\list{o}
\:$Q$ je konečná neprázdná \em{množina stavů,}
\:$\Sigma$ je konečná neprázdná \em{vstupní abeceda,}
diff --git a/02-ctxfree/ctxfree.tex b/02-ctxfree/ctxfree.tex
index 84363a5..f58ab2d 100644
--- a/02-ctxfree/ctxfree.tex
+++ b/02-ctxfree/ctxfree.tex
@@ -460,7 +460,7 @@ O~gramatikách $G$ a~$H$ řekneme, že jsou:
}
\theorem{
-Ke každé bezkontextové gramatiku existuje slabě ekvivalentní gramatika v~Chomského
+Ke každé bezkontextové gramatice existuje slabě ekvivalentní gramatika v~Chomského
normální formě.
}
diff --git a/03-recursive/recursive.tex b/03-recursive/recursive.tex
index 58857c3..bb9f7cc 100644
--- a/03-recursive/recursive.tex
+++ b/03-recursive/recursive.tex
@@ -332,7 +332,7 @@ Stroj můžeme vybavit generátorem náhodných bitů. Pořídíme mu \em{náhod
na začátku výpočtu obsahovat nekonečnou posloupnost nezávislých náhodných bitů.
Po této pásce bude povoleno pohybovat se pouze doprava.
-Podobné jako u~nedeterministických strojů není ani zde výpočet jednoznačně
+Podobně jako u~nedeterministických strojů není ani zde výpočet jednoznačně
určen: k~jedné konfiguraci mohou existovat dvě následující a možné výpočty
můžeme popsat stromem. Každému výpočtu
pak můžeme přiřadit pravděpodobnost toho, že bude proveden (to je $2^{-t}$, kde $t$ je
--
GitLab