{{predmet|Automaty a gramatiky|Roman Barták|TIN071}}
*[http://kti.ms.mff.cuni.cz/~bartak/automaty/index.html Bartákova stránka] - odkazy, slajdy, cvičení, ...
*[http://mff.modry.cz/autogra/pisemky/pisemky.txt Zadání z Modrého] - téměř všechno, co třeba vědet na zkoušku ...
= Slovníček pojmů =
== Kvocient ==
== Kongruence ==
Nechť X je konečná abeceda, <math>\sim</math> je relace ekvivalence na X*.
Potom:
* <math>\sim</math> je pravá kongruence, jestliže <math>
\forall u,v,w \in X^*
</math><math>u \sim v \Rightarrow uw \sim vw</math>