Logische Formel für reg.Sprach < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Status: |
(Frage) überfällig | Datum: | 19:39 Mo 18.05.2009 | Autor: | Wimme |
Aufgabe | Wir sollen eine FO (First Order) (wenn möglich) oder eine MSO (Monadic Second Order) Formel für die folgende reguläre Sprache angeben:
[mm] a(bbb)^{\star} [/mm] |
Hey!
Ich hoffe ihr wisst was FO und MSO ist. Das ist irgendwie eine Logik, die
x,y,z - Variablen für Positionen in Wörtern
X,Y,Z - Mengen von Positionen
S(x,y) Nachfolgerrelation, [mm] P_a(x) [/mm] = an Position x steht ein a.
min, max,
die üblichen Junktoren etc enthält.
Also anfangen kann ich ja schon mal so:
[mm] P_a(min) \wedge \forall [/mm] z (z > min [mm] \to P_b(z) [/mm] ) [mm] \wedge \dots
[/mm]
Es fehlt also noch, dass die Anzahl der b's am Ende durch 3 teilbar ist. Habt ihr da eine Idee?
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 20:20 Mi 20.05.2009 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|