From e7a690ac1009147a848926ff661c59c2040c9529 Mon Sep 17 00:00:00 2001 From: Martin Mares <mj@ucw.cz> Date: Wed, 29 May 2024 10:22:58 +0200 Subject: [PATCH] Kongruence: Typo --- 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 4d381bd..867155f 100644 --- a/01-regular/regular.tex +++ b/01-regular/regular.tex @@ -1092,7 +1092,7 @@ Stav $[\alpha]$ je přijímací právě tehdy, když $\alpha\in L$. Podobně se můžeme dívat na všechny automaty -- stavům vždy můžeme přiřadit nějaké ekvivalenční třídy slov. -\defn{\df{Automatová kongruence} pro automatu $A=(Q,\Sigma,\delta,q_0,F)$ je binární relace +\defn{\df{Automatová kongruence} pro automat $A=(Q,\Sigma,\delta,q_0,F)$ je binární relace $\simeq_A$ na množině slov $\Sigma^*$ taková, že $\alpha\simeq_A\beta$ právě tehdy, když po zpracování slov $\alpha$ a~$\beta$ automat skončí ve stejném stavu (tedy $\delta^*(q_0,\alpha) = \delta^*(q_0,\beta)$). -- GitLab