波斯特对应问题

波斯特应对问题波斯特对应问题是 Emil Post 于 1946 年提出的不可判定问题。因为它比停机问题和 Entscheidungs 问题更简单，所以经常用于不可判定性的证明。...