Informatiker Board | Automatentheorie | Epsilon-FA in NFA umwandeln

Informatiker Board » Themengebiete » Theoretische Informatik » Automatentheorie » Epsilon-FA in NFA umwandeln » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Der letzte Beitrag

Seppel123

Epsilon-FA in NFA umwandeln

Meine Frage:
Hallo,

wir sollen als Hausaufgabe einen [latex\epsilon-FA[/latex] umwandeln in einen NFA ohne epsilon übergänge.

So, alles was das Script hergibt ist sowas:

Sei $[latex] A := (Q,\Sigma,\delta,S_0,F)[/latex]$ ein NFA, der epsilon Kanten besitzen kann.

Ein äquivalenter $[latex]NFA B := (Q, \Sigma, \delta ', S_0, F')[/latex]$ ohne epsilon Kanten wird wie folgt erklärt:

$[latex]\delta ' := \left\{(z, x, z'') \in Q x \Sigma x Q | \exists ~(z',x,z'') \in \delta : (z,\epsilon) |\!\!-^*(z',\epsilon) \right\}[/latex]$

Meine Ideen:
So, prinzipiell versteh ich das.. aber ich weiß noch nicht genau wie der Konfigurationsübergang (z, e) |-* (z',e) gemeint ist. Sind das alle Pfade die ich gehen kann im automaten die nur epsilon übergänge enthalten ??

Danke