Significados
derivación
Die Wörter „schauerlich“, „Unwort“ und „zerreden“ sind Ableitungen.
deducción
In jedem Schritt einer Ableitung wird eine Satzform der Gestalt !,αuβ durch eine Satzform !,αvβ ersetzt, wobei !,u→v eine Produktion der Sprache sein muss. Man schreibt hierfür !,αuβ⇒αvβ. Für eine Ableitung, die mehrere Zwischenschritte !,s_0⇒s_1, !,s_1⇒s_2, … !,s_n-1⇒s_n umfasst, bei denen aber Zahl und Art der Zwischenschritte nicht interessieren, schreibt man zusammenfassend !,s_0⇒^*s_n.