波斯特对应问题-一流百科

波斯特对应问题

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

词条百科