Zusammenfassung
Wir wollen nun damit beginnen, die im letzten Kapitel vorgestellten Eigenschaften von Reduktionsrelationen speziell für Termersetzungssysteme zu untersuchen. In diesem Kapitel geht es um die Terminationseigenschaft von Termersetzungsrelationen. Das heißt, es geht um die Frage, ob es zu einem gegebenen Termersetzungssystem R einen Term t gibt, der der Anfang einer unendlich langen Kette von →R- Reduktionen sein kann. Die folgende Definition soll unsere Sprechweise vereinfachen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1998 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Bündgen, R. (1998). Termination von Termersetzungssystemen. In: Termersetzungssysteme. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-86846-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-322-86846-6_7
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-05652-0
Online ISBN: 978-3-322-86846-6
eBook Packages: Springer Book Archive