Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- formale Sprachen (http://www.informatikerboard.de/board/board.php?boardid=12)
----- Prolog DCGs für formale Sprache L (http://www.informatikerboard.de/board/thread.php?threadid=1073)


Geschrieben von mika_r1 am 09.11.2011 um 22:15:

  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,


Forensoftware: Burning Board, entwickelt von WoltLab GmbH