Zusammenfassung
Ist ein Term t und eine Menge R von Regeln über Termen gegeben, so legt eine Reduktionsstrategie fest, welcher Teilterm von t mit welcher Regel aus R reduziert wird. Durch Markieren von Teiltermen, die bereits irreduzibel sind, werden Reduktionsstrategien optimiert. Wir stellen dieses Konzept vor und erweitern es derart, daß unter gewissen Voraussetzungen bereits Teilterme in den Regeln markiert werden können und diese Markierung bei Anwendung auf t an den entstehenden Term vererbt wird. In diesem Zusammenhang wird auch die Anwendung von projektiven Regeln genauer untersucht. Die einzelnen Reduktionsstrategien werden durch Testläufe gegenübergestellt.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Literatur
Forgaard, R., Guttag, J.V.: “REVE: a term rewriting system generator with failure-resistant Knuth-Bendix”. Proc. of an NSF Workshop on the rewrite rule laboratory, Sep. 83 (ed. Guttag, Kapur, Musser) General-Electrics-Rep. No. 84GEN008, April 84.
Gallier, J., Book, R.V.: “Reductions in Tree Replacement Systems”: Theoretical Computer Science 37 (85) 123–150.
Küchlin, W.: “Some Reduction Strategies For Algebraic Term Rewriting”. SIGSAM Bulletin 16, 4 (Nov. 82 ), 13–23.
Kapur, D., Sivakumar, G.: “Architecture of and Experiments with RRL a Rewrite Rule Laboratory”. Proc. of a NSF Workshop on the rewrite rule laboratory, Sep. 83 (ed. Guttag, Kapur, Musser) General-Electrics-Rep. No. 84GEN008, April 84.
Stickel, M.E.: “A Note on Leftmost Innermost Reduction”, SIGSAN Bulletin 17, 3+4 (1983).
Wagner, E.: Strategien für den Knuth-Bendix Algorithmus. Diplomarbeit, Universität Kaiserslautern, FB Informatik, 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Müller, J., Wagner, E. (1986). Effiziente Reduktionsstrategien in Termersetzungssystemen. In: Rollinger, CR., Horn, W. (eds) GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung. Informatik-Fachberichte, vol 124. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71385-9_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-71385-9_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16808-9
Online ISBN: 978-3-642-71385-9
eBook Packages: Springer Book Archive