Syntax highlighting of Archiv/Automaty a gramatiky

{{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 ==

=== Levý kvocient ===

* Levý kvocient L<sub>1</sub> podle L<sub>2</sub>
** L<sub>2</sub> \ L<sub>1</sub> = { v | uv &isin; L<sub>1</sub> &amp; u &isin; L<sub>2</sub> }

=== Levá derivace ===

* Levá derivace L podle w
** &part;<sub>w</sub> = {w} \ L

=== Pravý kvocient ===

* Pravý kvocient L<sub>1</sub> podle L<sub>2</sub>
** L<sub>1</sub> / L<sub>2</sub> = { u | uv &isin; L<sub>1</sub> &amp; v &isin; L<sub>2</sub> }

=== Pravá derivace ===

* Pravá derivace L podle w
** &part;<sup>R</sup><sub>w</sub> = L / {w}

== 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>