Zusammenfassung
Bei vielen Problemen der Künstlichen Intelligenz sind endliche Reduktionssysteme bzw. die mit ihnen verwandten rewrite systems von großer Bedeutung, sie finden Verwendung bei der Beschreibung abstrakter Datentypen [5] und erweisen sich auch bei der Programmoptimierung [1] als nützlich. Als weitere Anwendungsgebiete sind z.B. die Computeralgebra [4] [9] [10] und die Beweistheorie [11] zu nennen. Der Anwendungsbereich ist also sehr weit gestreut — immer dort, wo Gleichungskalküle eine Rolle spielen, kann man Reduktionssysteme gewinnbringend einsetzen.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. AHO, R. SETHI, J. ULLMAN Code Optimization and Finite Church-Rosser Systems in: R. Rustin (ed.) Design and Optimization of Compilers, Prentice Hall (1972)
A.V. ANISIMOV Group Languages Cybernetics 7 (1971)
R.V. BOOK Confluent and Other Types of Thue Systems JACM 29 (1982)
R.H. GILMAN Presentations of Groups and Monoids J. Algebra 57 (1978)
J.V. GUTTAG, E. HOROWITH, D.R. MUSSER Abstract Data Types and Software Validation Comm. ACM 21 (178)
J.E. HOPCROFT, J.D. ULLMAN Introduction to Automata Theory, Languages and Computation Addison-Wesley, Mass. (1979)
P.J. HORSTER Reduktionssysteme, formale Sprachen und Automatentheorie Diss. RWTH Aachen (1983)
G. HUET Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems JACM 27 (1980)
J.M. HULLOT A Catalogue of Canonical Term Rewriting Systems Technical Report CSL-113, Stanford Research Institute (1980)
D.E. KNUTH, P.B. BENDIX Simple Word Problems in Universal Algebra in: H. Leech (ed.) Computational Problems in Abstract Algebras, Pergamon Press (1970)
D. LOVELAND Automated Theorem Proving North Holland (1970)
M.M. RICHTER Complete and Incomplete Systems of Reductions GI-12. Jahrestagung 1982, Informatik Fachberichte 57 (1982)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Horster, P.J. (1983). Vollständige Reduktionssysteme. In: Neumann, B. (eds) GWAI-83. Informatik-Fachberichte, vol 76. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69391-5_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-69391-5_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12871-7
Online ISBN: 978-3-642-69391-5
eBook Packages: Springer Book Archive