Spezifikation formaler Sprache < Formale Sprachen < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 14:05 Mi 21.10.2015 | | Autor: | Maria89 |
| Aufgabe | Gegeben ist die Formel:
forall p : (forall q : (((((p < q) && a (p)) && c (q))
=> exists r : ((((p < r) && (r < q)) && b (r))))))
Gesucht ist ein dazu äquivalenter regulärer Ausdruck mit folgenden Eigenschaften:
Simple
Alphabet (mkSet "abc")
AllowedKeys (mkSet [ "Eps" ]) |
Also ich stehe hier irgendwie auf dem Schlauch. Mir ist klar, dass es sich hierbei um eine Implikation handelt, aber mir fehlt völlig der Ansatz. Die Eigenschaften sind so zu verstehen, dass es sich um das Alphabet {a,b,c} handelt und das leere Wort (Eps) enthält. Ich würde mich freuen, wenn mir jemand weiterhelfen könnte.
LG, Maria
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 14:20 Fr 23.10.2015 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
