Property | Value |
---|---|
lemon:value | “In jedem Schritt einer Ableitung wird eine Satzform der Gestalt !,lpha u eta durch eine Satzform !,lpha v eta ersetzt, wobei !, u ightarrow v eine Produktion der Sprache sein muss. Man schreibt hierfür !,lpha u eta ightarrow lpha v eta. Für eine Ableitung, die mehrere Zwischenschritte !, s_0 ightarrow s_1, !, s_1 ightarrow s_2, … !, s_{n-1} ightarrow s_n umfasst, bei denen aber Zahl und Art der Zwischenschritte nicht interessieren, schreibt man zusammenfassend !, s_0 ightarrow^{*} s_n.” |
uby:exampleType | category:senseInstance |
Property | Value |
---|---|
Is lemon:example of | WktDE_sense_32069 More... |
The resource lemonUBY is made available under a
Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license.
This resource is derived from UBY
under a Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license
You are free to share (copy, distribute and transmit) the work, to develop your own extensions (adapt, remix) of the work, and to make commercial use of the work, provided that you comply with the licenses of all the integrated lexical resources and linkings between them.
This resources is derived from Wiktionary, dual-licensed to the public under both the Creative Commons Attribution-ShareAlike 3.0 Unported License, as well as GNU Free Documentation License (GFDL).