import Grammatik import Set student = Grammatik { terminale = mkSet "ab" , nichtterminale = mkSet "SX" , startsymbol = 'S' , regeln = mkSet [ ("S", "aXb") , ("X", "aXb") , ("X", "") ] }