====== سوال ۶ ======
برای هر یک از زبان‌های زیر (با استدلال) مشخص کنید جزء کدام یک از رده‌های زیر قرار می‌گیرند و جزء کدام رده‌ها قرار نمی‌گیرند. معمولاً برای هر زبان استدلال در مورد دو رده دارای اهمیت است.

**رده‌ها**:
  -  منظم ‎(Regular)‎
  -  مستقل از متن ‎(Context-free)‎
  -  تصمیم‌پذیر ‎(Decidable)‎
  -  تشخیص‌پذیر/شمارش‌پذیر ‎(Recognizable/Enumerable)‎
  -  متمم‌تشخیص‌پذیر ‎(Co-Recognizable)‎

**زبان‌ها**:
  -         ‎$LEAST_{100} = \left\{\left<M\right> | M \mbox{ is a Turing machine and }L(M)\mbox{ has at least 100 elements} \right\}$‎
  -         ‎$MOST_{100} = \left\{\left<M\right> | M \mbox{ is a Turing machine and }L(M)\mbox{ has at most 100 elements} \right\}$‎
  -         ‎$HALT_{10000} = \left\{\left<M\right> | M \mbox{ is a Turing machine that halts on any input and } \left|\left<M\right>\right| \leq10000 \right\}$‎
  -         ‎$ MIN = \left\{a^m.b^n.c^k | k \geq \min(m‎, ‎n) \right\} $‎

  * [[سوال ۵|سوال قبل]]