Programmierung in ocaml < Softwaretechnik+Pro < Praktische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | Gesamte Aufgabe in Ocaml zu lösen:
Definieren Sie zu folgenden Typdefinitionen die Funktion erkennt und delta_star:
type zustand = string;;
type symbol = char;;
type wort = symbol list;;
type d_fkt = (zustand * symbol) -> zustand;;
type ea = {
zustaende: zustand list;
[mm] q_0: [/mm] zustand;
[mm] q_e: [/mm] zustand list;
sigma: symbol list;
delta: d_fkt
};;
folgende Signatur sollte man zu den funktionen erhalten:
val delta_star : ea -> zustand -> wort -> zustand
val erkennt : ea -> wort -> bool
|
habe selbst versucht mir die funtionen zu definieren, jedoch ohne erfolg.
hier mein Versuch für fkt 1:
let rec delta_star q (w:wort) = match w with
| head::tail -> delta_star (delta q a) tail
| [] -> q;;
fkt2 habe ich nicht mehr versucht, da mir total er ansatz fehlt.
Bitte um hilfestellung bzw Lösungsvorschlag!
mfg clemens
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo,
> hier mein Versuch für fkt 1:
> let rec delta_star q (w:wort) = match w with
> | head::tail -> delta_star (delta q a) tail
> | [] -> q;;
Fast. Aber die Funktion passt nicht zur Signatur:
val delta_star : ea -> zustand -> wort -> zustand
Das bedeutet, da muss wohl noch eine Variable für den Automat hinein. Außerdem: Wo soll delta herkommen? Wohl aus dem Automat. Informier dich mal über Records in ocaml und wie man auf sie zugreift.
Die Grundstruktur passt aber, es sind nur ganz kleine Änderungen nötig.
> fkt2 habe ich nicht mehr versucht, da mir total er ansatz fehlt.
Aber du weißt, wie endliche Automaten funktionieren, oder?
Hier kannst/musst du deine Funktion delta_star benutzen. Diesmal startest du den Automat im Startzustand. Wenn der Ergebniszustand zu den Endzuständen gehört, dann gibst du true zurück, sont false.
Diese Funktion ist sogar noch einfacher als die erste, also nicht verzagen.
Gruß
Martin
|
|
|
|
