Grammatiken

Id: grammatik.tex,v 1.1 2006-10-16 19:50:57 waldmann Exp

Grammatik G besteht aus:

• Terminal-Alphabet $\Sigma$

  (üblich: Kleibuchst., Ziffern)

• Variablen-Alphabet V

  (üblich: Großbuchstaben)

• Startsymbol S $\in$ V
• Regelmenge
  (Wort-Ersetzungs-System)

  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^{*}_{}$}. r