diff --git a/01-regular/regular.tex b/01-regular/regular.tex index 3ed2b44abe4fe167a567e2bb8b05328322609da0..673df8457f58b321ba6bf774c34cfe4afbacc729 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 84363a57160951c58ac54e0f2e721634e3c27e53..f58ab2d4d455c91ca95721d7226177d60cf37d67 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 58857c3e2250d187b2fc21d59f615e3a01d01a21..bb9f7cc52eec453720ac0022ae569b60a1034cfb 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