Überführung von arithmetischen Ausdrücken in ein normalisiertes Polynom mittels Baumtransformation

In dieser Arbeit soll eine Technik vorgestellt werden, arithmetische Terme in eine normalisierte Polynomialform mittels Baumtransformationen zu überführen. Die Manipulation arithmetischer Terme ist eine Grundfunktion heutiger Computeralgebrasysteme. Diese verwenden dabei verschiedenste Ansätze. Ziel dieser Arbeit ist die Entwicklung eines Ansatzes zur Termumformung unter Verwendung von Übersetzerbautechnologien. Eine solche Technologie sind bottom-up rewrite systems, die die technologische Grundlage der Baumtransformation in dieser Arbeit darstellen. Es wird das Werkzeug poly vorgestellt, welches eine Technik implementiert, die Baumtransformation iterativ und phasenweise durchzuführen, um eine Aufteilung der Problematik in Teilprobleme zu ermöglichen.