diff --git a/01-regular/regular.tex b/01-regular/regular.tex index 6cdecd182b27a23cdc409edd32aacdc5b731ed90..5a3ca0c660d19bd95a80167cee47719561344f74 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$