In jedem Schritt einer ''Ableitung'' wird eine Satzform der Gestalt <math>\!\,\alpha u \beta</math> durch eine Satzform <math>\!\,\alpha v \beta</math> ersetzt, wobei <math>\!\, u \rightarrow v</math> eine Produktion der Sprache sein muss. Man schreibt hierfür <math>\!\,\alpha u \beta \Rightarrow \alpha v \beta</math>. Für eine ''Ableitung,'' die mehrere Zwischenschritte <math>\!\, s_0 \Rightarrow s_1</math>, <math>\!\, s_1 \Rightarrow s_2</math>, … <math>\!\, s_{n-1} \Rightarrow s_n</math> umfasst, bei denen aber Zahl und Art der Zwischenschritte nicht interessieren, schreibt man zusammenfassend <math>\!\, s_0 \Rightarrow^{*} s_n</math>.
{{K|Informatik|Formale Sprachen|Semi-Thue-Systeme}} eine beim [[Startsymbol]] einer Formalen Sprache beginnende Folge von Schritten, in deren jedem eine [[Produktion]] auf eine [[Satzform]] angewandt wird, und die häufig in einem Wort der erzeugten Sprache endet, allgemeiner jedoch in einer Satzform.