Opravy drobných překlepů

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,}

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ě.
 }
 

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