为什么Ture可识别语言的类在Complement中关闭？

Question

我正在学习图灵机，并且我已经展示了联合图，交叉图，连接图，补图和Kleene Star的操作是如何关闭图灵 - 可判定的。接下来，我做了一些演示，展示联合，交叉，连接和Kleene Star如何关闭T-Recognizable语言。

现在我试图回答一个问题，以说明为什么T-Recognizable语言类没有为Complement操作关闭，但我无法理解它。有人可以解释一下吗？

由于

Answer 1

1. T-RECOG对应于半可判定（R.E.）。

2. 说服你自己，一种语言是exaclty然后decibable，当语言本身和它的相对补充r.e.

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

4. 假定r.e.语言在补充下关闭，并导致与2.和3中提到的事实相冲突。