波斯特對應問題

波斯特對應問題  是美國數學家埃米爾 · 波斯特  於1946年提出的一個不可判定問題 。