Grammatiken

mathend000#Id mathend000#

Grammatik G mathend000# besteht aus:

• Terminal-Alphabet Σ mathend000#

  (üblich: Kleinbuchst., Ziffern)

• Variablen-Alphabet V mathend000#

  (üblich: Großbuchstaben)

• Startsymbol S∈V mathend000#
• Regelmenge
  (Wort-Ersetzungs-System)

  R⊆(Σ∪V)^*×(Σ∪V)^* mathend000#

Grammatik
  { terminale 
       = mkSet "abc"
  , variablen
       = mkSet "SA"
  , start = 'S'
  , regeln = mkSet
       [ ("S", "abc")
       , ("ab", "aabbA")
       , ("Ab", "bA")
       , ("Ac", "cc")
       ]
  }

von G mathend000# erzeugte Sprache: L(G) = {w | S→_R^*w∧w∈Σ^*} mathend000#.