为什么在补语下关闭图灵可识别语言的类？

Question

我正在研究图灵机，我已经展示了Turing-Decidable如何关闭Union，Intersection，Concatenation，Complement和Kleene Star的运作。接下来，我做了一些演示，展示了T-Recognizable语言如何为Union，Intersection，Concatenation和Kleene Star关闭。

现在我正在尝试回答一个问题，以说明为什么T-Recognizable语言的分支不会因为补充操作而关闭，但我无法理解。有人可以解释一下吗？

由于

Answer 1

1. T-recog对应于半可判定的（r.e.）。

2. 说服自己一种语言是可判断的，然后是可判定的，当语言本身及其相对补语都是r.e。

3. 说服自己有r.e.不可判定的语言（例如Halteproblem）

4. 假设r.e的类语言在补充下被关闭，并且与2.和3中提到的事实相矛盾。