图灵机 $\omega$-语言的歧义性

$\omega$-语言是有限字母表 $X$ 上无限词的集合。我们考虑递归 $\omega$-语言类，即由具有 B"uchi 接受条件的图灵机接受的 $\omega$-语言类，这也是某个有限字母表 $X$ 的 $X^\omega$ 的（有效）解析子集类 $\Sigma^1_1$。本文研究了关于 B"uchi 图灵机接受的递归 $\omega$-语言的歧义性概念。我们首先详细介绍了关于图灵机接受的 $\omega$-语言的文献要点。随后，我们对 B"uchi 图灵机及其接受的 $\omega$-语言的歧义性和无歧义性概念给出了完整而广泛的视角。为了获得我们的新结果，我们利用了有效描述集合论的结果和方法。