From ad37bebcb1bf7a87e2b37b3f8b69e4e4d4e77a75 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Mon, 27 May 2024 20:32:14 +0200
Subject: [PATCH] =?UTF-8?q?Cvi=C4=8Den=C3=AD=20na=20kongruence?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
01-regular/regular.tex | 12 ++++++++++++
TODO | 1 -
2 files changed, 12 insertions(+), 1 deletion(-)
diff --git a/01-regular/regular.tex b/01-regular/regular.tex
index 3917d70..fb34f21 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 e36eb8d..6e726f6 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é:
--
GitLab