Fragen zu Vereinfachung von Sprachen und Sprachen vereinigen bzw. schneiden etc.

[Bibi]

---

@Antipythagoras

Verfolge c von S0 nach S0. Der Konten (S0) war bereits erreicht. Merke (S0)a(S2)c*(S2)a(S0)c(S0) ⇒ (S0)a(S2)c*(S2)a(S0)c*(S0).
wieso ist hier eine Abweichung von der vorherigen schreibweise ich hätte da S0 ja schon einmal erreicht worden ist (S0)a(S2)c*(S2)a(S0)c(S0)(S0) geschrieben da du in den vorherigen Schritten immer wenn der Zustand schon einmal erreicht worden ist (Sx)irgendwas(Sx) geschrieben hattest… verstehe nicht wieso das jetzt hier anders ist??

[Bibi]

---

@Antipythagoras

Es bleibt die Kante b von S0 nach T2. Merke: (S0)b(T2)
Verfolge die Kante c von T2 nach T2. Merke: (S0)b(T2)c(T2) ⇒ (S0)b(T2)c*(T2)
Verfolge die Kante a von T2 nach T1 nicht. (war ja gestrichen!)
Verfolge die Kante b von T2 nach T0. Merke: (S0)b(T2)c*(T2)b(T0).
Treibe denselben Rotz wie oben. Merke: (S0)b(T2)c*(T2)b(T0)(c∪ (bcb)* )*(T0)

wie kommst du auf diesen Teil (c∪ (bcb)* )*???

[Bibi]

---

tut mir leid so manches ist mir noch nicht so ganz klar

wollte gerade eben ne “einfache” Aufgabe nach deiner Methode machen allerdings hänge ich dort auch da ich hier 2 Startzustände habe…ich hänge es einfach mal an…

Attachment:
2automaten.jpg: https://fsi.cs.fau.de/unb-attachments/post_25825/2automaten.jpg

[Antipythagoras]

---

(S0)c(S0) vereinfacht sich eigentlich erstmal zu (S0)(c)(S0) und dann zu (S0)(c)*(S0)
in deiner Schreibweise. Der letzte Zustand ist der zustand von dem aus du weiterl"auftst. (S0)(S0) ätte also keinen Sinn (außer einem ε-transit)

wie kommst du auf diesen Teil (c∪ (bcb)* )*???

Wie gesagt: Selber Rotz wie oben.
Genauer:

Verfolge die Kante b von T0 nach T2. Merke: (S0)c(T0)c*(T0)b(T2)

  Verfolge die Kante a von T2 nach T1. Alte blah. wegstreichen.

  Verfolge die Kante c von T2 nach T2. Merke: (S0)c(T0)c*(T0)b(T2)c(T2) ⇒ (S0)c(T0)c*(T0)b(T2)c*(T2) 

  (!)Verfolge die Kante b von T2 nach T0. Merke: (S0)c(T0)c*(T0)b(T2)c*(T2)b(T0).

T0 war schonmal da und von T0 gehen keine weiteren Kanten mehr aus. Also kompliziertere Umformung:

               - Suche letztes Auftreten von T0, einklammern: (S0)c(T0)c*(T0)[b(T2)c*(T2)b](T0).

               - Zyklus versternen: (S0)c(T0)c*(T0)(bc*b)*(T0)

               - Äuserste (T0)s einklammern, innere verunden: (S0)c(T0)[c*∪(bc*b)*](T0)

               - Zyklus versternen: (S0)c(T0)(c*∪ (bc*b)* )*(T0)

T0 ist Endzustand. Schreibe auf: c(c∪ (bcb)* )*

Dieser Teil war gemeint, nur das du beim Reinlaufen in diesen Teil da natürlich überall kein (S0)c(T0) sondern ein (S0)b(T2)c*(T2)b(T0) steht.

da ich hier 2 Startzustände habe

Bei zwei Startzuständen behandelst du den Automaten am besten 2x. Einmal vom ersten und einmal vom zweiten aus.
Die entstehenden regulären Ausdrücke werden dann ‚ver-∪-ndet‘.

[Antipythagoras]

---

um das durchzu-x-en habe ich grade keine Zeit, aber a) sollte sowas geben wie: ((a∪c)b ∪ a)* ∪ b((a∪c)b ∪ a)*
(wenn eine Kante -sagen wir von X nach Y- doppelt beschriftet -mit a und b- ist, so kann man gleich (X)(a∪b)(Y) merken)
b) ist mir jetzt echt zu groß.

[Bibi]

---

@Antipythagoras

um das durchzu-x-en habe ich grade keine Zeit, aber a) sollte sowas geben wie: ((a∪c)b ∪ a)* ∪ b((a∪c)b ∪ a)*
(wenn eine Kante -sagen wir von X nach Y- doppelt beschriftet -mit a und b- ist, so kann man gleich (X)(a∪b)(Y) merken)
b) ist mir jetzt echt zu groß.

Ich habe dort ((a∪c)b ∪ a*)* ∪ b((a∪c)b ∪ a*)*
heraus…kann man bei sowas dann das hoch * weglassen und deine Lösung hinschreiben?Ist ja ansich das gleiche oder?

Hab sonst jetzt überall das gleiche raus auf jeden Fall vielen vielen Dank jetzt kann ich beruhigt in die Prüfung gehen

[Antipythagoras]

---

Stimmt, der Stern ist egal. (Solche Sterne ergeben allerdings gerne erst in der Ansichtnahme fehlende Punkte. TIP!!)

Viel Glück in der Prüfung! (auch an die Mitstreiter!)

[Bibi]

---

Danke