Dies sind unter anderem: Terminierung Hierbei stellt man sich die Frage, ob es zu einem Termersetzungssystem Terme gibt, die eine unendliche Kette von Auswertungen erlauben, oder ob alle Ableitungen aller Terme stets endlich sind.