Překlep u kanonických automatů

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$