mika_r1
Grünschnabel
Dabei seit: 09.11.2011
Beiträge: 1
 |
|
| Prolog DCGs für formale Sprache L |
     |
Hallo zusammen,
seit neuestem müssen wir uns in der Vorlesung Konzepte von Programmiersprachen mit Prolog beschäftigen.
Folgende Aufgabe haben wir gestellt bekommen:
Realisieren einen Parser (d.h. Erkenner) für Worte der Sprache ![[latex]L = \left\{ X^n Y^n Z^{n+1}\ mit\ n \in N \right\}[/latex]](http://www.matheboard.de/latex2png/latex2png.php?L = \left\{ X^n Y^n Z^{n+1}\ mit\ n \in N \right\}) . X, Y, Z stellen beliebige Prolog-Terme dar.
Mir ist überhaupt nicht ganz klar, was die Sprach L ist, bzw. was zulässige Worte sind.
Dürfen die Sätze nur aus jeweils drei verschiedenen Prolog-Termen bestehen?
Beudeutet ^n, dass das Word maximal n-mal vorkommen darf?
Dann würde ich daraus folgende Regel lesen: #X = #Y, #Z = #X+1
Somit wäre dann [ a,a,b,a,b,c,c,b,c,c ] ein legales Wort?
Danke schon mal im Voraus,
|
|
