Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:ableitbarkeit

Ableitbarkeit

engl.: derivability

Bedeutung

ψ 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 φ.

glossar/ableitbarkeit.txt · Zuletzt geändert: 2015/10/05 16:55 (Externe Bearbeitung)