搜索结果: 1-1 共查到“数理逻辑与数学基础 high undecidability”相关记录1条 . 查询时间(0.046 秒)
Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language
Decision problems infinite Post Correspondence Problem analytical hierarchy high undecidability infinitary rational relations
2011/10/10
Abstract: It was noticed by Harel in [Har86] that "one can define $\Sigma_1^1$-complete versions of the well-known Post Correspondence Problem". We first give a complete proof of this result, showing ...