$Id: grammatik.html,v 1.1.1.1 2002/05/24 10:46:47 challenger Exp $
import Grammatik import Set student = Grammatik { terminale = mkSet "abc" , nichtterminale = mkSet "SA" , startsymbol = 'S' , regeln = mkSet [ ("S", "abc") , ("ab", "aabbA") , ("Ab", "bA") , ("Ac", "cc") ] }Das ist die Grammatik von Seite 4, Beispiel 3 im Skript von Prof. Herre.
Hier sind die Quelltexte.
import Grammatik student = Grammatik { terminale = mkSet "ab" , nichtterminale = mkSet "SABCDE" , startsymbol = 'S' , regeln = mkSet [ ("S",""), ("S","DA") , ("A","DS"), ("A","EC") , ("B","ES"), ("B","DC") , ("C","DB"), ("C","EA") , ("A","a"), ("D","a") , ("B","b"), ("E","b") ] }erzeugt die Sprache L122. Dennoch handelt es sich nicht um eine Lösung der Aufgabe L122. Warum nicht? Erzeugen Sie aus dieser Grammatik eine Lösung. Kommen Sie dabei mit weniger als 10 Regeln aus?