Der Satz von Myhill-Nerode und Minimalautomaten (Theoretische Informatik)

Über die sogenannte Nerode-Relation erhält man ein notwendiges und hinreichendes Kriterium dafür, dass eine Sprache regulär ist. Und mithilfe dieser Äquivalenzrelation kann man auch Automaten mit einer minimalen Anzahl von Zuständen konstruieren.
* Das GANZ NEUE Buch: weitz.de/GDM/
* Das NEUE Buch: weitz.de/PP/
* Skript: weitz.de/files/ti-skript.pdf
* Äquivalenzrelationen: • Was sind Äquivalenzrel...
* Das Video im Playlist-Kontext: weitz.de/y/RcDjuXLK-Jg?list=PL...
* Liste aller Videos: weitz.de/haw-videos/
* Das etwas andere Mathe-Lehrbuch: weitz.de/KMFI/
* "FAQ": weitz.de/youtube.html
00:00 Die Nerode-Relation
12:42 Der Satz von Myhill-Nerode
17:21 Konstruktion eines Automaten aus Äquivalenzklassen
21:38 Der Minimalautomat für eine Sprache
26:20 Konvertierung eines Automaten in den Minimalautomaten