Zusammenfassung
Termersetzungssysteme (TESe) sind ein algorithmisches Modell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die Semantik eines TES ist wohldefiniert, wenn die Auswertung terminiert und das Ergebnis nicht von der Wahl der Regeln abhängt, die bei der Reduktion angewandt werden.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Drosten, K. (1989). Termersetzungssysteme mit eingeschränkten Variablen. In: Termersetzungssysteme. Informatik-Fachberichte, vol 210. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74769-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-74769-4_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51172-4
Online ISBN: 978-3-642-74769-4
eBook Packages: Springer Book Archive