Id: grammatik.tex,v 1.2 2005/01/04 23:57:48 waldmann Exp
Grammatik G besteht aus:
|
Grammatik { terminale = mkSet "abc" , variablen = mkSet "SA" , start = 'S' , regeln = mkSet [ ("S", "abc") , ("ab", "aabbA") , ("Ab", "bA") , ("Ac", "cc") ] } |
von G erzeugte Sprache: L(G) = {w | Sw w }.