圖埃系統的不可判定性(undecidability of Thu-e system)圖埃系統字問題的不可判定特性.圖埃系統的判定問題是指:是否存在一個能行的算法，使得對任何圖埃系統S及S的任意兩個字W},Wz，該算法可以判定
Wl今芳W:是否成立.由於這個問題是對所有的圖埃系統而言的，因此也稱為一般圖埃系統的字問題.事實上，可以證明，存在一個具體的圖埃系統，它的字表包含個字母，它是不可判定的.因此一般圖埃系統的字問題是不可判定的.特別地，對某個具體的圖埃系統，也有相應的特殊圖埃系統的字問題，它們是否可判，依賴於所給的圖埃系統.由上面的討論，確實存在具有不可解的字問題的圖埃系統.
Wl今芳W:是否成立.由於這個問題是對所有的圖埃系統而言的，因此也稱為一般圖埃系統的字問題.事實上，可以證明，存在一個具體的圖埃系統，它的字表包含個字母，它是不可判定的.因此一般圖埃系統的字問題是不可判定的.特別地，對某個具體的圖埃系統，也有相應的特殊圖埃系統的字問題，它們是否可判，依賴於所給的圖埃系統.由上面的討論，確實存在具有不可解的字問題的圖埃系統.
