From e6455e26ea235600951adafb384c3f0e47bb2146 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Wed, 17 Jul 2024 20:35:30 +0200
Subject: [PATCH] =?UTF-8?q?Algebraick=C3=A9=20souvislosti:=20Zd=C5=AFrazn?=
=?UTF-8?q?=C3=ADme,=20=C5=BEe=20kongruence=20je=20na=20stavech?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
01-regular/regular.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/01-regular/regular.tex b/01-regular/regular.tex
index 053fdd2..d99d01a 100644
--- a/01-regular/regular.tex
+++ b/01-regular/regular.tex
@@ -1406,7 +1406,7 @@ a $\beta\sigma$ musí také vést do téhož stavu.
I~na ekvivalenci stavů~$\approx$ v~automatu se můžeme dívat jako na kongruenci,
ovšem na jiné algebraické struktuře. Pro každý znak abecedy~$x$ definujeme
funkci $f_x: Q\rightarrow Q$, která bude říkat, jak se přechází mezi stavy
-po přečtení~$x$. Tedy $f_x(s) = \delta(s,x)$. Po kongruenci pak budeme chtít,
+po přečtení~$x$. Tedy $f_x(s) = \delta(s,x)$. Po kongruenci na stavech pak budeme chtít,
aby byla kompatibilní se všemi~$f_x$, čili aby bylo $f_x(s)\approx f_x(s')$,
kdykoliv $s\approx s'$. A~také aby byla kompatibilní s~vlastností \uv{být
koncový stav}, tedy z~$s\approx s'$ plynulo $s\in F \Leftrightarrow s'\in F$.
--
GitLab