engl.: derivability

ψ ist mit Γ aus φ direkt ableitbar, in Zeichen φ ⇒ ψ, wenn es Zerlegungen σAτ von φ und σατ von ψ gibt und A → α in Π.

ψ ist mit Γ aus φ ableitbar, in Zeichen φ ⇒* ψ, wenn es φ0, …, φn gibt mit φ = φ0, φn = ψ und für alle i ∈ {0, …, n−1}: φi → φi + 1

φ0 … φn heißt dann Ableitung von ψ aus φ.