Почему этот язык устанавливает узнаваемый и не заметимый

Question

Я прочитал, что следующий язык R.E. но не ненужно узнаваемый

$ l $ : на входе $ m $ (где $ m $ - это Turging Machine), $ m $ принимает не менее 20 входов

Я не уверен, что это не значительно узнавать., так как я мог бы сделать следующее сокращение с $ \ unverline {a_ {tm}} $ Для $ l $ Учитывая эту процедуру $ R $ а именно:

$ R $ : на входе $ $ :

1. Конструкция Tm $ m_1 $ , где на входе $ x $ , если $ x= 1 $ , Примите
2. Если ввод $ x $ не равен $ 1 $ , запустить $ m $ на входе $ W $ для $ | x | $ шаги. Если после $ | x | $ шаги, $ m $ не принимает $ w $ , затем принять $ x $

Из этого уменьшения, если $ m $ не принимает $ W $ , т. Е.= «Математический контейнер»> $ \ in \ uverline {a_ {tm}} $ , то $ m_1 $ принимает любой вход Слово, то есть $ m_1 \ in l $ .

Я что-то упускаю здесь?

Answer 1

То, что вам не хватает, это то, что если $ \ langle m, w \ rangle \ notin \ unverline {a _ {\ mathrm {tm}}} $ , то есть если $ m $ останавливает на входе $ w $ , вы не знаете, есть ли или $ m_1 \ notin l $ .Если $ M $ HALT на $ W $ , но это занимает больше времени, чем 20 $ $ шаги, он также будет держать, что $ m_1 \ in l $ .Таким образом, у вас нет уменьшения здесь.

, что язык $ l $ нельзя co-Re, является непосредственным следствием теоремы Риса.