Die Nerode-Rechtskongruenz (ist gar nicht so kompliziert)
Vložit
- čas přidán 7. 09. 2024
- Wie kann man sicher sein, dass der reduzierte Automat wirklich der kleinste ist? Indem man den kleinsten möglichen Automaten direkt konstruiert und zeigt, dass er dem reduzierten Automaten genau gleicht! Wichtigstes Werkzeug dabei wird eine Relation zwischen Wörtern einer Sprache sein, die den schönen Namen Nerode-Rechtskongruenz trägt.
► Vorlesungsfolien zum Download: iccl.inf.tu-dr... (8. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dr...
► Fehler gefunden? Issues melden auf github: github.com/kno...
super erklärt. vielen Dank. hat mir bei der Klausurvorbereitung enorm geholfen
Hallo, ich habe eine Frage bezüglich das Beispiel in Folie 24(bzw 6 in das Video), in der letzte Zeile, "Es gibt weitere Formen von Äquivalenzklassen, z.B. [aab] = {an+1bn | n ≥ 0}" wie so gibt es mehr a’s als b’s?
Ich glaube mit {a^n+1b^n | n ≥ 0} ist die Menge der möglichen Äquivalenzklassen gemeint die diese Form haben.
Genau wie es für a unendlich viele Äquivalenzklassen gibt, gibt es auch für aab unendlich viele andere Äquivalenzklasse mit der Form {a^n+1b^n | n ≥ 0}, also z.b [aab] oder [aaabb].