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




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

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





  * [[سوال ۳|سوال بعد]]
  * [[سوال ۱|سوال قبل]]