Zum neuen Informatik-Forum >>
 FAQFAQ   SuchenSuchen   MitgliederlisteMitgliederliste   BenutzergruppenBenutzergruppen   RegistrierenRegistrieren   ProfilProfil   Einloggen, um private Nachrichten zu lesenEinloggen, um private Nachrichten zu lesen   LoginLogin 

DFA aus NFA per Potenzmengenkonstruktion erstellen

 
Dieses Forum ist gesperrt, du kannst keine Beiträge editieren, schreiben oder beantworten.   Dieses Thema ist gesperrt, du kannst keine Beiträge editieren oder beantworten.    Informatikerboard.de Foren-Übersicht -> Theoretische Informatik
Vorheriges Thema anzeigen :: Nächstes Thema anzeigen  
Autor Nachricht
Remington Steele



Anmeldungsdatum: 04.06.2005
Beiträge: 31

BeitragVerfasst am: 20. Aug 2005 19:54    Titel: DFA aus NFA per Potenzmengenkonstruktion erstellen Antworten mit Zitat

Eigentlich ist mir das relativ klar.

Nur gibt es da einen Trick, bei dem man auf Angabe von Uebergaengen in unerreichbare Zustaende (vom Startzustand aus nicht erreichbar?!?) verzichten kann, den blicke ich nicht und er hat mir in der letzten Klausur den Kopf gekostet unglücklich (da das Erstellen deshalb ewig ging).

Das konkrete Beispiel - gegebener NFA sah so aus (da Zeichnung schlecht geht (der NFA war als Zeichung gegeben, schreibe ich die Zustandstabelle auf):

Delta_q0_____q1___q2_____q3
a___q0,q1_________q3_____q3
b___q0______q2__________q3
c___q0__________________ q3

(in der Klausur habe ich 25 min. gebraucht fuer das Riesenkonstrukt (ohne Anwendung des mysterioesen Tricks Augenzwinkern)

Weiss jemand, wie das geht? Thx... smile
Nach oben
Benutzer-Profile anzeigen Private Nachricht senden
Georg
Administrator


Anmeldungsdatum: 15.02.2005
Beiträge: 57
Wohnort: Aachen

BeitragVerfasst am: 21. Aug 2005 11:26    Titel: Antworten mit Zitat

Hi,

es wäre bestimmt hilfreich, wenn Du mal eben per Paint oder so die Zeichnung machen würdest, ich werde aus der Tabelle nämlich überhaupt nicht schlau smile
Nach oben
Benutzer-Profile anzeigen Private Nachricht senden
Remington Steele



Anmeldungsdatum: 04.06.2005
Beiträge: 31

BeitragVerfasst am: 21. Aug 2005 11:46    Titel: Antworten mit Zitat

OK hier das Bild (aber Achtung, könnte sein daß da ein Copyright d'rauf ist (ist aus der Klausur).

http://img395.imageshack.us/img395/4089/automat2rm.jpg

Wie macht man das? Thx smile
Nach oben
Benutzer-Profile anzeigen Private Nachricht senden
Remington Steele



Anmeldungsdatum: 04.06.2005
Beiträge: 31

BeitragVerfasst am: 23. Aug 2005 10:18    Titel: Antworten mit Zitat

Hat vielleicht einer 'ne Idee dazu? grübelnd Hilfe Ich meine, schon auf die Lösung gekommen zu sein, bin mir aber nicht sicher, ob das stimmt.
Nach oben
Benutzer-Profile anzeigen Private Nachricht senden
kurellajunior
Administrator


Anmeldungsdatum: 14.02.2005
Beiträge: 214
Wohnort: Berlin-Pankow

BeitragVerfasst am: 23. Aug 2005 15:05    Titel: Antworten mit Zitat

Dann zeig die Lösung hier, und wir prüfen sie gerne, oder geben weitere hinweise
_________________
Nach oben
Benutzer-Profile anzeigen Private Nachricht senden Website dieses Benutzers besuchen
Remington Steele



Anmeldungsdatum: 04.06.2005
Beiträge: 31

BeitragVerfasst am: 23. Aug 2005 15:31    Titel: Antworten mit Zitat

Ihr macht es einem aber wirklich schwer!! Big Laugh Gott

Also ich hangele mich vom Startzustand einfach entlang und bekomme dadurch nur ganz wenige Paare (in diesem Fall).

Grundidee so richtig? grübelnd
Nach oben
Benutzer-Profile anzeigen Private Nachricht senden
Gast






BeitragVerfasst am: 23. Aug 2005 22:23    Titel: Antworten mit Zitat

so wuerd ich es auch machen smile
Nach oben
Tobias



Anmeldungsdatum: 15.02.2005
Beiträge: 149

BeitragVerfasst am: 10. Sep 2005 13:20    Titel: Antworten mit Zitat

Zitat:
Nur gibt es da einen Trick, bei dem man auf Angabe von Uebergaengen in unerreichbare Zustaende (vom Startzustand aus nicht erreichbar?!?) verzichten kann, den blicke ich nicht und er hat mir in der letzten Klausur den Kopf gekostet


Ich glaube bei deinem "Trick" geht es um die Tatsache, dass ein DFA über dem Alphabet {a,b,c} nicht wohldefiniert ist, wenn nicht jedem Zustand a, b und c Transitionen zu einem Nachfolge-Zustand zugeordnet sind. Bei einem NFA ist dies nicht notwendig. Bei der Potenzmengenkonstruktion fügt man deshalb einen nicht-akzeptierenden Sackgassen-Zustand hinzu (als leere Menge bezeichnet), der im NFA nicht vorhandene Transitionen auffängt.

Dies kann aber nicht das Problem gewesen sein, denn diese Übergänge kann man ruck zuck ergänzen und wirken sich auch nicht auf die Komplexitätssteigerung des Potenzautomaten aus.

Ich habe das Ding mal konstruiert und komme auf 6 Zustände. Hoffentlich ist das richtig. smile
Nach oben
Benutzer-Profile anzeigen Private Nachricht senden
Remington Steele



Anmeldungsdatum: 04.06.2005
Beiträge: 31

BeitragVerfasst am: 12. Sep 2005 17:28    Titel: Antworten mit Zitat

Ich weiß nicht, ich habe halt die ganze Potenzmenge konstruiert und das dauerte ewig.

Ist auch egal, habe jetzt bestanden smile
Nach oben
Benutzer-Profile anzeigen Private Nachricht senden
Beiträge der letzten Zeit anzeigen:   
Dieses Forum ist gesperrt, du kannst keine Beiträge editieren, schreiben oder beantworten.   Dieses Thema ist gesperrt, du kannst keine Beiträge editieren oder beantworten.    Informatikerboard.de Foren-Übersicht -> Theoretische Informatik Alle Zeiten sind GMT + 1 Stunde
Seite 1 von 1

 
Gehe zu:  
Du kannst keine Beiträge in dieses Forum schreiben.
Du kannst auf Beiträge in diesem Forum nicht antworten.
Du kannst deine Beiträge in diesem Forum nicht bearbeiten.
Du kannst deine Beiträge in diesem Forum nicht löschen.
Du kannst an Umfragen in diesem Forum nicht mitmachen.
Du kannst Dateien in diesem Forum nicht posten
Du kannst Dateien in diesem Forum nicht herunterladen