decidable - 文字列が決定可能であることを証明する方法 (形式言語)

Question

マシン L(M) の文字列が決定可能かどうかを証明しようとしていますが、そのための適切な結果を見つけることができません。これに関するいくつかの例を説明するのを手伝ってくれる人はいますか。

私が試しているシナリオは、2 つの文字列があり、S1 が S2 のサブセットであり、show machine L(M) が決定可能であることです。