Um einer Ableitung diese unno ̈ tige Mehrdeutigkeit zu nehmen, wollen wir alle Ableitungen als a ̈ quivalent ansehen, die sich nur in der Reihenfolge der Anwendung der Regeln unterscheiden.
Repräsentant für ein Klasse äquivalenter Ableitungen ist die Linksableitung, in der in jedem Ableitungsschritt, immer das jeweils linkeste Nonterminal abgeleitet wurde.
Definition 2.1.19 (Ableitungsbaum) Ein orientierter knotenbewerteter Baum Γ ist ein Ableitungsbaum des Wortes w bzgl. G = (N,T, P, S), wenn gilt:
www-ti.informatik.tu-cottbus.de| w |.
We will say also that w[n] is undefined and denote by w[n] = ↑, if n ≥ |w|.The unique string of length 0 is always denoted by λ (so-called empty string).
For any finite string w ∈ {0;
www-ti.informatik.tu-cottbus.deYou can suggest improvements to this PONS entry here:
How can I copy translations to the vocabulary trainer?
Please note that the vocabulary items in this list are only available in this browser. Once you have copied them to the vocabulary trainer, they are available from everywhere.