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: 24.09.2014 16:41 (Externe Bearbeitung)
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki