diff --git a/01-regular/regular.tex b/01-regular/regular.tex
index 3917d703b0093c3c7c4f19296691d2b846e1dba4..fb34f21456884fd5f277d053d39d4023e25ea9be 100644
--- a/01-regular/regular.tex
+++ b/01-regular/regular.tex
@@ -1267,6 +1267,18 @@ právě jeden minimální automat.
 
 \exercises
 
+\ex{Charakterizujte třídy syntaktické kongruence pro jazyk $\{x\alpha x \mid x\in\Sigma, \alpha\in\Sigma^*\}$
+nad abecedou $\Sigma=\{\|a|,\|b|\}$.}
+
+\ex{\dots{} pro jazyk $\{\alpha\alpha\rev \mid \alpha\in\Sigma^*\}$ nad abecedou $\Sigma=\{\|a|,\|b|\}$.}
+
+\ex{\dots{} pro jazyk $\{\0^{2^n} \mid n\in\N \}$ nad abecedou $\{\0\}$.}
+
+\ex{Charakterizujte třídy automatové kongruence pro vyhledávací automaty typu KMP
+(viz oddíl \secref{dfa}). Srovnejte s~třídami syntaktické kongruence příslušného jazyka.}
+
+\exx{\dots{} pro vyhledávací automaty typu Aho-Corasicková.}
+
 \ex{Homomorfismus se od izomorfismu liší tím, že nevyžadujeme, aby zobrazení bylo bijektivní.
 Můžeme si tedy představit, že je to izomorfismus jednoho objektu s~nějakou podmnožinou druhého
 objektu. Rozmyslete si, co znamená homomorfismus automatů, a~ukažte, že z~něj také plyne,
diff --git a/TODO b/TODO
index e36eb8d5b82b4a0f1054a737345d83f39fe8e0b6..6e726f6cc89e0d27e2caac2ffa00b485b5d53a78 100644
--- a/TODO
+++ b/TODO
@@ -4,7 +4,6 @@ Regulární:
     ... pak by se dala definovat regulární redukce mezi jazyky
 - obrázek ke kongruencím: automat, automatová kongruence, syntaktická kongruence
 - cvičení na redukci automatů
-- cvičení na syntaktické kongruence
 
 Bezkontextové: