gibt es unendliche Ableitungen in den Systemen
- ba→ab
,
ba→aab
,
100→00110
-
A(A(D, x), y)→A(x, A(x, y))
- Regeln zum symbolischen Differenzieren
- Regeln zum Vereinfachen arithmetischer Ausdrücke usw.
vgl: warum und wie wird iterierte Regelanwendung (tellsimp
,tellsimpafter
)
in Maxima verhindert?
Anwendung (später): Vervollständigungs-Algorithmus
- zum Entscheiden der syntaktischen Kongruenz
- zum E. des Polynom-Ideal-Problems:
Q∈〈P1, P2,…〉
Johannes Waldmann
2015-12-11