对包含某些语法的语言的语言证明不可思议

Question

让我们说我们有以下问题：

$$ \ mathcal {l} _1={\ langle \ mathcal {m} \ rangle |mathcal {m} \ \ text {是一个图灵机和$ \ mathcal {l}（\ mathcal {m}）$包含一个具有完全三个zeros} \} \} $$

的字符串

我们想证明 $ \ mathcal {l} _1 $ 是不可判定的。我通常会使用大米定理来证明一种语言是不可确定的，但在现在的情况下，我们不处理语言的语义属性，而是它的语法。在我们必须根据语言的建设证明的情况下，过程如何看起来像，与米饭的定理有所不同？

Answer 1

可以想到语言的语义属性，它确定在这里使用米饭的定理。

define $ c={l | \ text {} l \} $

中有一个完全3 zeros的字符串

so， $ l_1={ | m \ text {是一个图灵机和} l（m）\中的c \} $ ，并且因为 $ c \ neq \ imptyset $ 和 $ c $ 不是每种语言，那么米饭的定理， $ L_1 \ Notin R $ 。