Grammatiken

Id: grammatik.tex,v 1.2 2005/01/04 23:57:48 waldmann Exp

Grammatik G besteht aus:
  • Terminal-Alphabet $ \Sigma$

    (üblich: Kleibuchst., Ziffern)

  • Variablen-Alphabet V

    (üblich: Großbuchstaben)

  • Startsymbol S $ \in$ V
  • Regelmenge
    R $ \subseteq$ ($ \Sigma$ $ \cup$ V)*×($ \Sigma$ $ \cup$ V)*
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 | S$ \to^{*}_{}$w $ \wedge$ w $ \in$ $ \Sigma^{*}_{}$}.



Johannes Waldmann 2005-01-28