اون کسی که این ماشین تورینگو داد دست ما

آیا زبان زیر تصمیم‌پذیر است؟ ادعای خود را ثابت کنید.

$$L = \{\langle M \rangle \ | \ M \text{ is a Turing-Machine and there is an input that } M \text{ halts on it}\}$$

• سوال بعد
• سوال قبل