Neben dem Wortproblem gibt es noch eine Reihe weiterer Entscheidungsprobleme, die uns bei formalen Sprachen oft interessieren, vom Äquivalenzproblem über das Lehrheitsproblem bishin zum Schnittproblem. Für kontextfreie Sprachen und deterministisch kontextfreie Sprachen sind viele davon gar nicht so einfach (soll heißen: unentscheidbar). Hier gebe ich eine kurze Übersicht und erkläre einige positive Ergebnisse.
► Playliste für diesen Videokurs: • Automaten und Sprachen...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/FS... (17. 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...
Негізгі бет Entscheidungsprobleme für kontextfreie Sprachen
Пікірлер