Kongruence: Typo

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)$).