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
