圖埃系統(Thue system)一種特殊的半圖埃系統.設.S0= (S,P>為一個半圖埃系統,如果P是對稱的,即只要(a,召)EP,一定有甲,a)EP.那么,了便被稱為圖埃系統.作為一種計算模型,圖埃系統與半圖埃系統一樣,都與圖靈機具有相同的計算能力.另外,圖埃系統的字問題也是不可判定的.
圖埃系統(Thue system)一種特殊的半圖埃系統.設.S0= (S,P>為一個半圖埃系統,如果P是對稱的,即只要(a,召)EP,一定有甲,a)EP.那么,了便被稱為圖埃系統....
圖埃系統的不可判定性(undecidability of Thu-e system)圖埃系統字問題的不可判定特性.圖埃系統的判定問題是指:是否存在一個能行的算法,使得對任何圖埃系統S及S的...
半圖埃系統的不可判定性(undecidability ofsemi-Thue system)半圖埃系統字問題的不可判定特性.半圖埃系統的判定問題是指:是否存在一個能行的算法。...