Finite thickness
رسمی زبان کے نظریہ میں، خاص طور پر الگورتھمک لرننگ تھیوری میں، زبانوں کی کلاس سی کی موٹائی محدود ہوتی ہے اگر ہر سٹرنگ سی میں زیادہ سے زیادہ محدود طور پر بہت سی زبانوں میں موجود ہو۔ اس شرط کو ڈانا اینگلون نے سی کی حد میں شناخت کے لیے کافی شرط کے طور پر متعارف کرایا تھا۔ M-لامحدود موٹائی کا متعلقہ تصور ایک زبان L اور زبانوں کی ایک انڈیکسڈ کلاس C = {L1, L2, L3,.} کو دیکھتے ہوئے، ایک ممبر زبان Lj ωC کو C کے اندر L کا کم سے کم تصور کہا جاتا ہے اگر L ω Lj، لیکن کسی بھی Li ω C کے لیے L ω Li ω Lj نہیں۔ کلاس C کو MEF-شرط کو پورا کرنے کے لیے کہا جاتا ہے اگر کسی ممبر زبان Li ω C کے ہر محدود ذیلی سیٹ D کا کم سے کم تصور Lj ω Li ہو۔ متناسب طور پر، سی کو ایم ایف ایف کی شرط کو پورا کرنے کے لیے کہا جاتا ہے اگر ہر غیر خالی محدود سیٹ ڈی میں سی میں زیادہ سے زیادہ محدود طور پر بہت سے کم سے کم تصورات ہوں۔ آخر میں، سی کو ایم-محدود موٹائی کہا جاتا ہے اگر یہ ایم ای ایف-اور ایم ایف ایف-حالت دونوں کو مطمئن کرتا ہے۔ محدود موٹائی کا مطلب ہے M-لامحدود موٹائی۔ تاہم، ایسی کلاسیں ہیں جو M-لامحدود موٹائی کی ہیں لیکن محدود موٹائی کی نہیں ہیں (مثال کے طور پر، زبانوں کی کوئی بھی کلاس C = {L1, L2, L3,.} ایسی ہے کہ L1. L2. L3.)۔ حوالہ جات رسمی زبانیں