Beachten Sie die Grenzen der Ersetzbarkeit
Beachten Sie die Grenzen der Ersetzbarkeit
Beachten Sie die Grenzen der Ersetzbarkeit
Beachten Sie die Grenzen der Ersetzbarkeit
•
Substitution tritt nur dann auf, wenn eine
genaue Übereinstimmung für die
Substitution besteht.
•
Unendliche Rekursion kann auftreten, wenn Sie eine Substitutionsvariable durch
sich selbst ersetzen.
Substituiert sin(x+1), sin(x+1+1), sin(x+1+1+1), etc.
sin(x)|x=x+1
Wenn Sie eine Substitution eingegeben haben, die eine unendliche Rekursion
hervorruft:
-
Wird eine Fehlermeldung
ausgegeben.
Erscheint beim Drücken von N ein
-
Fehler im Protokoll-Bereich.
Mit Symbolen arbeiten
2
Nur x
wurde ersetzt,
4
nicht x
.
Definieren Sie die
Substitution durch
"niedrigere" Terme
für eine vollständige
Substitution.
284