Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in Band I, Kapitel 3

Minimierung von deterministischen endlichen Automaten

Wed, 10 Jan 2018 14:33:50 +0000

"Für die Generierung des zu einem gegebenen endlichen Automaten äquivalenten Minimalautomaten werden zuerst alle nicht erreichbaren Zustände entfernt; der so entstandene Automat heißt vereinfacht"

Sind in unseren Beispielen bei deteministischen endlichen Automaten nicht immer alle Zustände erreichbar?

Bzw. was wäre ein Beispiel für einen nicht zu erreichenden Zustand?

Menge k-äquivalenter Zustände

Fri, 10 Feb 2017 17:28:29 +0000

Hallo,

Ich würde gerne fragen wie die Darstellung der k-äquivalenten Zustände zu erfolgen hat. Bsp. A22: Hier werden sämtliche k-äquivalenten Zuständen in Mengen angegeben. Was genau ist hierbei zu beachten?

Vielen Dank

Regulärer Ausdruck Alternative und Schreibweise

Fri, 10 Feb 2017 10:56:14 +0000

Hallo,

Ich verstehe nicht ganz wofür die erste Klammer so notwendig ist, wie sie geschrieben steht, da ja bereits eine 0 ausreicht, um ein Wort akzeptieren zu lassen und jede weitere 0 trotzdem akzeptiert wird aufgrund der Eigenschleife von S1.

Wäre dieser Ausdruck auch richtig bzw. wenn nciht, wo ist der Denkfehler?

Zudem: Darf man das Plus statt dem Stern verwenden (auch in der Klausur), um anzuzeigen, dass mindestens ein Zeichen verwendet werden muss?

RA(A) = (0+) (1 + 10 + 1(0 + 1)*0)

Aufgabe 26 Übungsbuch 1

Thu, 02 Feb 2017 17:10:36 +0000

Kann es sein, dass in der Lösung der Aufgabe 26 a) der Zustand S6 vergessen wurde?

Aufgabe 27b): Regulärer Ausdruck

Sat, 06 Feb 2016 19:58:51 +0000

Hallo,

kann es sein, dass der reguläre Ausdruck in der Lösung nicht ganz richtig ist?

Müsste nicht 0*1(0+1)1*0(1*+01*01*)* richtig sein? Also in der letzten Klammer noch 1* ergänzt, da die 1 Schleife nach Rückkehr in den s8 noch durchgeführt werden könnte?

Zudem hab ich mich gefragt, ob die etwas umständliche Variante von 0*1(0+1)((1*01*)+(1*01*01*01*)*) auch funktioniert?

Vielen Dank im Voraus.