Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-38584
Titel: | Elimination von Rekursionen |
VerfasserIn: | Petersen, Ulrike |
Sprache: | Deutsch |
Erscheinungsjahr: | 1983 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Operationen sind in algorithmischen Spezifikationen oft rekursiv beschrieben. Um bei der Implementierung solcher Spezifikationen effiziente Programme zu erhalten, ist es notwendig, Rekursionen in eine repetitive Form zu überführen. Ausgehend von einem Klassifikationsschema für rekursive Funktionen werden zwei Techniken zur Entrekursivierung vorgestellt, die auf der abstrakten Ebene arbeiten.
Zunächst werden einige Transformationsschemata von Bauer und Hössner [BaWö 81] übernommen, modifiziert und erweitert, und in einem deterministischen Transformationsregelsystem zusammengefaßt, wobei es wesentlich ist, die Semantik der verwendeten Operationen zu berücksichtigen. Anschließend wird die heuristische unfold/fold-Methode von Darlington und Burstall [DaBu 77] beschrieben und einige ihrer Anwendungsmöglichkeiten dargestellt. Operations in algorithmic specifications are often described recursively. To obtain efficient programs for implementing such specifications, it is necessary to transform recursive functions into iterative ones. Starting with a Classification scheme for recursive functions, two technics for recursion removal are proposed, which work at abstract levels. At first some transformation schemes from Bauer and Wössner [Bawö 81] are modified, augmented and combined in a rule based transformation system, where it is essential to consider the semantics of the operations used. Subsequently the heuristic unfold/fold method of Darlington and Burstall [DaBu 77] is described and illustrated by examples. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-385843 hdl:20.500.11880/35046 http://dx.doi.org/10.22028/D291-38584 |
Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
Band: | 83,10 |
Datum des Eintrags: | 30-Jan-2023 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professur: | SE - Sonstige |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
Memo-SEKI-83-10_Petersen_Elimination-von-Rekursionen.pdf | 70,37 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.