If you can't find the translation you need, try our free translation
1. Teilweise Differentialgleichung-Sprache PDELAN [„eine Verlängerung von Fortran begrenzte Unterschied-Operatoren“, J. Gary, weiches Prac u. Exp 24. Okt. 1972 et al. enthalten]. teilweise äquivalenzrelation PRO A Relation R auf einem Satz S, in dem R symmetrisches x R y => y R x und transitives x R y R z => x R z ist und wo dort bestehen können Elemente in S, für das die Relation nicht definiert wird. A PRO ist eine äquivalenzrelation auf der Teilmenge, für die sie definiert wird, d.h. ist es auch Reflexivx R x. teilweise Auswertung oder „Spezialisierung“ eine Optimierung Technik, wo der Kompilator einige subexpressions an Kompilierzeit auswertet. Z.B. Kriegsgefangen x 0 = 1 Kriegsgefangen x n =, wenn sogar n dann pxn2 * pxn2 sonst x * Kriegsgefangen x n-1, wo pxn2 = Kriegsgefangen x n/2 f x = Kriegsgefangen x 5, da n gewußt wir ist, Kriegsgefangen auf sein zweites Argument spezialisieren und die rekursiven Anrufe ausbreiten können: pow5 x = x * x4 wo x4 = x2 * x2 x2 = x * x f x = pow5 x pow5 bekannt als der Rückstand. Wir könnten das Geben pow5 jetzt auch ausbreiten: f x = x * x4 wo x4 = x2 * x2 x2 = x * x ist es wichtig, daß der teilweise Auswertung Algorithmus beenden sollte. Dieses wird nicht in Anwesenheit der rekursiven Funktion Definitionen garantiert. Z.B. wenn teilweise Auswertung an der rechten Seite der zweiten Klausel für Kriegsgefangen oben angewendet wurden, würde es nie beenden, weil der Wert von n nicht bekannt. Teilweise Auswertung konnte die Endpunkteigenschaften des Programms ändern, wenn z.B. der Ausdruck x * 0 wurde bis 0 verringert, das, es selbst wenn x und folglich x beenden würde * 0 nicht. Es kann notwendig sein, einen Ausdruck neuzuordnen, um ihn, z.B. f x y = x + y teilweise auszuwerten + 1 g z = f 3 z, wenn wir f neu schreiben: f x y = x + 1 + y dann der Ausdruck x+1 wird eine Konstante für die Funktion g und wir können sagen, daß g z = f 3 z = 3 + 1 + z = 4 + z teilweise Auswertung der eingebauten Funktionen, die an den konstanten Argumenten angewendet werden, bekannt als konstante Falte. Sehen Sie auch volle Trägheit.
2008 Online-Dictionary.biz. All rights reserved. By using this website you agree to be bound by our terms and conditions.
All content on this website is property of LocalTranslation unless stated otherwise.
