爲什麼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中提到的事實相沖突。