Lexikon der Mathematik: Thue-System
ein semi-Thue-System, bei dem mit jeder Operation (x, y) auch die inverse Operation (y, x) enthalten ist.
Das Wortproblem für Thue-Systeme ist unentscheidbar (Entscheidbarkeit).
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.