Um Automaten zu minimieren verschmelzen wir Zustände und erhalten so den Quotientenauotmat. Hier wird gezeigt, wie genau das funktioniert und welchen einfachen Algorithmus wir verwenden können, um das für beliebige Automaten zu erreichen.
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/FS... (8. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dresden.de/web/Fo...
► Fehler gefunden? Issues melden auf github: github.com/knowsys/FormaleSys...