Prolog DCGs für formale Sprache L

Neue Frage »

Auf diesen Beitrag antworten »
mika_r1 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]. 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,
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »