Informatiker Board | formale Sprachen | Prolog DCGs für formale Sprache L

Informatiker Board » Themengebiete » Theoretische Informatik » formale Sprachen » Prolog DCGs für formale Sprache L » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Der letzte Beitrag

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,