Diskussion:Termersetzungssystem
Zur Navigation springen
Zur Suche springen
Inkorrekte Behauptung zur Terminierung[Quelltext bearbeiten]
"Ein einfaches Mittel ist, die Länge der linken Seiten mit denen der rechten zu Vergleichen. Nimmt die Zahl der Funktionssymbole oder ihre Stelligkeit stets ab, terminiert das TES."
Das stimmt nicht. Gegenbeispiel: .
Die Länge nimmt ab, trotzdem gibt es eine unendliche Herleitung
Man braucht zusätzlich die Bedingung, dass die Häufigkeit jeder Variable von links nach rechts nicht zunimmt.--AlfonsGeser 21:02, 11. Mai 2008 (CEST)
Ungenaue Verwendung des Begriffs "unentscheidbar"[Quelltext bearbeiten]
"Da das Wortproblem unentscheidbar ist, lässt sich nicht immer ein konvergentes Termersetzungssystem finden, das das Wortproblem für das entsprechende Gleichungssystem entscheidbar macht."
Wenn man vom Wortproblem spricht, muss man dazu sagen, für welche Gleichungstheorie, also zum Beispiel "das Wortproblem für die Gruppentheorie". Gemeint ist also wahrscheinlich: Zu Gleichungstheorien, deren Wortproblem unentscheidbar ist, kann offensichtlich kein äquivalentes konvergentes Termersetzungssystem angegeben werden. Man sollte noch hinzufügen: oft auch dann nicht, wenn die Gleichungstheorie ein entscheidbares Wortproblem hat.--AlfonsGeser 21:24, 11. Mai 2008 (CEST)
Defekte Weblinks[Quelltext bearbeiten]
| Die folgenden Weblinks wurden von einem Bot („GiftBot“) als nicht erreichbar erkannt. |
|---|
|