Warum ist diese Sprache, die erkennbar ist und nicht erkennbar ist

Question

Ich habe gelesen, dass die folgende Sprache r.e ist. aber nicht nicht erkennbar

$ L $ : aufeingabe $ M $ (wobei $ M $ ist eine Turing-Maschine, $ M $ akzeptiert mindestens 20 Eingänge

Ich bin nicht sicher, warum es nicht nicht erkennbar ist., da ich vielleicht die folgende Reduzierung von $ \ Overline {A_ {TM}} $ vornehmen könnte Zu $ L $ Angesichts dieses Vorgangs $ R $ nämlich:

$ R $ : aufeingabe $ $ :

.
1. Konstrukt TM $ M_1 $ , wobei beim Eingang $ x $ , falls $ x= 1 $ , akzeptieren
2. Wenn ein Input $ x $ nicht gleich $ 1 $ ist, führen Sie $ M $ bei input $ W $ für $ | x | $ Schritte. Wenn nach $ | x | $ schritte, $ m $ nicht akzeptiert $ W $ , dann akzeptieren Sie $ x $

von dieser Reduktion, wenn $ M $ nicht akzeptiert $ W $ , dh $ \ in \ Overline {A_ {TM}} $ , dann $ m_1 $ Akzeptiert einen Eingang Word, dh $ M_1 \ in L $ .

Ich vermisse ich hier etwas?

Answer 1

Was Sie vermissen $ M $ Haltet an der Eingabe $ W $ , Sie wissen nicht, ob oder $ M_1 \ NOTIN L $ .Wenn $ M $ auf $ W $ haltet, dauert dies jedoch länger als 20 $ $ Schritte, es würde auch den $ M_1 \ in L $ festhalten.So haben Sie hier keine Reduzierung.

dass die Sprache $ L $ nicht co-re ist, ist eine unmittelbare Folge von Reis-Satz.