标签： decidable
我试图证明机器L（M）中的字符串是否可判定，并且我无法找到适当的结果。任何人都可以帮我解释一下这个例子。
我正在尝试的场景是我有两个字符串，S1是S2的子集，因此显示机器L（M）是可判定的