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
Schreiben Sie uns!