rdf:value
| - In jedem Schritt einer Ableitung wird eine Satzform der Gestalt \!\,\alpha u \beta durch eine Satzform \!\,\alpha v \beta ersetzt, wobei \!\, u \rightarrow v eine Produktion der Sprache sein muss. Man schreibt hierfür \!\,\alpha u \beta \Rightarrow \alpha v \beta. Für eine Ableitung, die mehrere Zwischenschritte \!\, s_0 \Rightarrow s_1, \!\, s_1 \Rightarrow s_2, … \!\, s_{n-1} \Rightarrow s_n umfasst, bei denen aber Zahl und Art der Zwischenschritte nicht interessieren, schreibt man zusammenfassend \!\, s_0 \Rightarrow^{*} s_n. (de)
|