圖埃系統

圖埃系統(Thue system)一種特殊的半圖埃系統.設.S0= (S,P>為一個半圖埃系統,如果P是對稱的,即只要(a,召)EP,一定有甲,a)EP.那么,了便被稱為圖埃系統.作為一種計算模型,圖埃系統與半圖埃系統一樣,都與圖靈機具有相同的計算能力.另外,圖埃系統的字問題也是不可判定的.

相關詞條

熱門詞條

聯絡我們