Zusammenfassung
Da wir die Definitionsformeln der Differenzalgorithmen in Terminierungsbeweisen verwenden, sind wir daran interessiert, daß diese Algorithmen so einfach wie möglich sind. Dies hat beweistechnische Vorteile, denn je einfacher ein Differenzalgorithmus ist, desto einfacher ist auch der Terminierungsbeweis, der diesen Differenzalgorithmus verwendet. Wie wir jedoch anhand der Beispiele in Abschnitt 6.3 sahen, enthalten die synthetisierten Differenzalgorithmen oft redundante Bedingungen, überflüssige Fälle und unnötige Rekursionen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Rights and permissions
Copyright information
© 1991 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig
About this chapter
Cite this chapter
Walther, C. (1991). Optimierung von Differenzalgorithmen. In: Bibel, W. (eds) Automatisierung von Terminierungsbeweisen. Artificial Intelligence / Künstliche Intelligenz. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-85404-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-322-85404-9_7
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-04771-9
Online ISBN: 978-3-322-85404-9
eBook Packages: Springer Book Archive