#1 24. Oktober 2011 Beschreiben Sie ein Verfahren, welches für einen gegebenen nichtdeterministischen Automaten A := (Q;sigam; delta ;Q0; F) feststellt, ob L(A) = sigam* gilt. Ich weiß soviel das man das mit der Tiefensuche lösen kann nur find immoment keinen anfang dazu ? so far sun + Multi-Zitat Zitieren
#2 30. Oktober 2011 AW: Formale Grundlagen Informatik So weit ich mich an die Theoretische Informatik erinnern kann, könnte man das ungefähr so lösen: Wandel den nichtdeterministischen Automaten in eine deterministischen Automaten um und vereinfache ihn so weit, wie es geht. Wenn nur ein Zustand, der gleichzeitig Start- und Endzustand ist, übrig bleibt, mit allen Übergängen aus sigma zu sich selbst, dann gilt L(A) = sigma* . + Multi-Zitat Zitieren