Ableitung: Malsamoj inter versioj
Enhavo forigita Enhavo aldonita
Neniu resumo de redakto |
Neniu resumo de redakto |
||
Linio 36:
:[5] [[Herleitung]], [[Beweis]], das logische korrekte Verwenden von Prämissen und Schlüssen zur Gewinnung einer Formel oder eines anderen Resultates.
:[6] 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.
:[7]
{{Mallongigoj}}
|