From 62b34cf8b185bf73d5f8ce4ad1e98a8f0810c67d Mon Sep 17 00:00:00 2001 From: Martin Mares <mj@ucw.cz> Date: Thu, 27 Jun 2024 11:53:09 +0200 Subject: [PATCH] =?UTF-8?q?P=C5=99eklep=20u=20kanonick=C3=BDch=20automat?= =?UTF-8?q?=C5=AF?= 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 6cdecd1..5a3ca0c 100644 --- a/01-regular/regular.tex +++ b/01-regular/regular.tex @@ -1094,7 +1094,7 @@ rozlišitelné vzhledem k~$L$. \obs{Syntaktická kongruence je ekvivalence na množině~$\Sigma^*$.} \examples{\tightlist{o} -\:Pro jazyk $L_{01} = \{\0^n\1^m\}$ nad abecedou $\{\0,\1\}$ jsou každá dvě slova +\:Pro jazyk $\{\0^n\1^m\}$ nad abecedou $\{\0,\1\}$ jsou každá dvě slova $\0^n$ a~$\0^m$ (kde $n\ne m$) navzájem rozlišitelná suffixem~$\1^n$, takže syntaktická kongruence má nekonečně mnoho tříd. \:Pro jazyk $\{ \0^n \mid n \bmod 3 = 0 \}$ nad abecedou $\{\0\}$ jsou slova $\0^n$ a $\0^m$ -- GitLab