Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:ableitbarkeit

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:ableitbarkeit [2017/09/26 10:20] (aktuell)
Zeile 1: Zeile 1:
 +====== 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: 2017/09/26 10:20 (Externe Bearbeitung)