Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Suche » Suchergebnis » Hallo Gast [Anmelden|Registrieren]
Zeige Beiträge 1 bis 1 von 1 Treffern
Autor Beitrag
Thema: Satz Logik erster Stufe zu regulärem Ausdruck
LTB2012

Antworten: 0
Hits: 634
Satz Logik erster Stufe zu regulärem Ausdruck 15.01.2021 01:55 Forum: Logik


Sei S={a,b,c} und Signatur o={<=,P_a,P_b,P_c} Jetzt ist ein regulärer Ausdruck (a*bcb)*
gegeben und es soll ein Satz der Logik erster Stufe phi gefunden werden , sodass die Struktur der Sprache vom regulären Ausdruck dieses phi erfüllt.


P_a,P_b,P_c sind einstellige Relationen und beschreibt die Position der Elemente a,b oder c
Also P_a(x) bedeutet dass a an Stelle x steht im Wort.


Mein Ansatz:

Im Folgenden bedeuten A:=Für alle und E:=Es existiert mind eins

phi := E v A w A x E y E z ((v > w -> P_a(w) ) /\ v < y /\ P_c(x) /\ P_b(y) /\ P_b(z) /\ x > y /\ x < z )


Die /\ Zeichen sind das logische Und.

Grüße
Zeige Beiträge 1 bis 1 von 1 Treffern