Lexikon der Mathematik: Satzform
Wort über einer Menge Σ ∪ V, wobei Σ ein endliches Alphabet und V eine endliche Menge von Nichtterminalzeichen ist.
Eine Satzform ist ein Zwischenprodukt beim Ableiten von Wörtern aus dem Startsymbol einer Grammatik, wo einzelne, durch Nichterminalzeichen repräsentierte, syntaktische Einheiten noch nicht aufgelöst sind. Die Menge S(G) der aus einer Grammatik ableitbaren Satzformen ist gegeben durch S(G) = {w ∈ (V ∪ Σ)* | S ⇒ *w}.
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!