---

Geschrieben von Pampelmuse am 12.05.2007 um 12:30:

  Minimalautomaten

Hallo habe einen DFA den ich in einen Minimalautomaten umwandeln muß.

Während des lösens bin ich auf ein Problem gestoßen.
Zu Beginn markiere ich in der Tabelle alle Paare {z, z'} mit z element F <-> z' nicht element F .

danach Prüfe ich die Markierung.
Mein Problem ist nun: prüfe ich nur mit denenen die ich zu Beginn markiert habe oder auch mit denen die ich im nachhinein hinzumarkiert habe.

Hoffe ist konte mein Problem nachvollziehbar schildern.
Gruß Pampelmuse

---

Geschrieben von Pampelmuse am 13.05.2007 um 10:45:

  RE: Minimalautomaten

erledigt