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}.