موضوع مقاله: فرمالیسم گرامر نیمه حساس به متن | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # فرمالیسم گرامر نیمه حساس به متن | مقدمه: در زبان‌شناسی رایانشی، عنوان فرمالیسم‌های گرامر نیمه حساس به متن به چندین گرامر صوری اطلاق می‌شود که با هدف ارائهٔ توصیفی نحو زبان توسعه یافته‌اند. | ## بخش 1: فرمالیسم گرامر نیمه حساس به متن | هر فرمالیسم گرامر نیمه حساس به متن، کلاسی از گرامر نیمه حساس به متن (گرامرهایی که می‌توانند در فرمالیسم مشخص شوند) و همچنین کلاس زبان نیمه حساس به متن (زبان‌های صوری ایجاد شده توسط گرامر) را تعریف می‌کند. پیش زمینه در سال ۱۹۸۵، چندین محقق زبانشناسی توصیفی و آماری، مدارکی را در مقابل نظریه ایی فراهم آوردند که ساختار نحوی زبان طبیعی می‌تواند به‌طور کارآمد با گرامر مستقل از متن توصیف شود. در همان زمان، مرحله‌ای که به سطح بعدی وراثت چامسکی برای گرامر حساس به متن می‌رفت، غیرضروری و نامناسب تشخیص داده شد. در تلاش برای اشاره به قدرت رسمی دقیق مورد نیاز برای توصیف کافی نحو زبان طبیعی، آراویند جوشی، گرامرها (و زبان‌های مربوطه) را توصیف کرد که اندکی قدرتمندتر از گرامرهای مستقل از متن (زبان مستقل از متن) هستند. او این گرامرها را گرامرهای نیمه حساس به متن و زبان‌های مربوطه را زبان‌های نیمه حساس به متن نامید. این با دو نتیجهٔ معادل مشابه گرامر شاخص گذاری خطی (LIG) و گرامر گروه‌بندی ترکیب‌کننده (CCG) دنبال شد که نشان داد ماهیت گرامر نیمه حساس به متن خیلی کلی بوده و مرتبط با فرمالیسم خاص نیست. این گرامرها، سلسله مراتب نامحدودی برای زبان‌های رشته‌ای بین زبان‌های مستقل از متن و زبان‌های حساس به متن تعریف می‌کنند، همراه با زبان‌هایی که با فرمالیسم معادل TAG در انتهای پایینی سلسله مراتب ایجاد شده‌اند. به‌طور مستقل و هم‌زمان با LCFRS، هیرویوکی سرکی، فرمالیسم ضرورتاً مشابه گرامر مستقل از متن متعدد (چندگانه) (MCFG) را پیشنهاد کرد. ویژگی‌های توصیفی علی‌رغم میزان قابل ملاحظهٔ کار روی موضوع، هیچ تعریف رسمی به‌طور کلی پذیرفته شده‌ای برای گرامر نیمه حساس به متن وجود ندارد. | ## بخش 2: فرمالیسم گرامر نیمه حساس به متن | بر طبق ویژگی اصلی جوشی، یک کلاس گرامرهای نیمه حساس به متن باید شامل ویژگی‌های زیر شود: وابستگی سری تقاطعی محدود توسعه ثابت تجزیه و تحلیل پلی نامینال علاوه بر این، پی برده‌اند که هر کلاس گرامرهای نیمه حساس به متن، باید بتواند زبان بدون متن را ایجاد کند. او بیان می‌کند: "فقط یک توصیف اصلی وجود دارد زیرا شرایط ۱ و۳ وابسته به گرامر هستند، در حالیکه شرط ۲ وابسته به زبان بوده و شرایط ۱ باید به‌طور دقیق تری نسبت به آن چیزی که تاکنون انجام گرفته، مشخص شود." نویسندگان دیگر، ویژگی‌های جایگزین گرامر نیمه حساس به متن را بیان کردند که شکل تعاریف رسمی دارد. برای مثال، لورا کالمیر، چشم‌اندازی را بیان می‌کند که گرامر نیمه حساس به متن باید بیشتر به عنوان ویژگی کلاس‌های زبان تعریف شود تا ویژگی جوشی، یعنی کلاس گرامر. وابستگی سری تقاطعی عنوان وابستگی سری تقاطعی، به الگوهای نظم کلمه با ویژگی خاص به خصوص الگوهای verb-argument اشاره دارد که در جملهٔ تبعی در هلند و سوئیس و آلمان مشاهده شدند. الگوهای زیادی وجود دارند که می‌توانند استفاده شوند تا در مورد مستقل از متن بودن زبان طبیعی بحث شود؛ بنابراین نیازمند گرامرهای نیمه حساس به متن هستند تا وابستگی سری کلی را مدل کنند بدین معنی که این گرامرها باید قدرتمند تر از گرامرهای مستقل از متن باشند. کالمیر، توانایی مدل یابی وابستگی سری تقاطعی را با توانایی ایجاد زبان کپی شناسایی می‌کند تا کلی گرایی اش را در دو کپی یا بیشتر ازwبسته به بعضی محدودیت‌ها شناسایی کند. این زبان‌ها مستقل از متن نیستند که می‌تواند با استفاده از لم تزریق برای زبان‌های مستقل از متن اثبات شود. توسعهٔ ثابت زبان اگر هر رشته‌ای در زبان رسمی، طولانی‌تر از رشتهٔ کوتاهتر بعدی در میزان ثابت (خاص زبان) باشد، زبان رسمی در حال توسعهٔ ثابت است. اگرچه بعضی نویسندگان بحث کردند که پدیدهٔ خاص در زبان طبیعی، توسعه و رشدی را نشان می‌دهد که نمی‌تواند بامیزان ثابت خاص زبان محدود شود، زبان‌هایی که این ویژگی را نقض می‌کنند اغلب ماورای ظرفیت انسان مورد توجه هستند. | ## بخش 3: فرمالیسم گرامر نیمه حساس به متن | زبان در صورتی نیمه خطی است که تصویرش تحت Parikh-mapping (توصیفی که موقعیت نسبی نمادها را در زنجیرهٔ زبان فراموش می‌کند، به‌طور مؤثری به عنوان گروه کلمات عمل می‌کند)، یک زبان منظم باشند. تجزیه و تحلیل پلی نامینال فرمالیسم گرامر، زمانی تحت عنوان تجزیه و تحلیل پلی نامینال نامیده می‌شود که مشکل عضویتش می‌تواند در کلاس پی حل شود. مسئله‌ای برای تصمیم‌گیری وجود دارد که مشروط بر گرامر G نوشته شده در فرمالیسم و رشتهٔ W، آیا W با G ایجاده شده یا آیا W بر طبق G گرامری است یا نه. تحت چشم‌انداز گرامر نیمه حساس به متن به عنوان ویژگی کلاس‌های زبان، تجزیه و تحلیل پلی نامینال به مسئله عضویت زبان اشاره دارد. مسئله‌ای برای تصمیم‌گیری وجود دارد که برای زبان ثابت L، آیا رشتهٔ مشخص W متعلق به L است یا نه. پیچیدگی زمانی این مسئله بر حسب طول W ارزیابی شده و این سؤال را نادیده می‌گیرد که W چگونه مشخص شده‌است. توجه کنید درک تجزیه و تحلیل پلی نامینال، ایده‌آل گرایی در حسی است که برای کاربردهای عملی نه تنها به سؤال بله/ خیر علاقه دارند که آیا جمله گرامری است یا نه، بلکه در ساختار نحوی، گرامر برای جمله تعیین می‌شود. | ## جمع‌بندی | فرمالیسم‌ها طی سالیان، تعداد زیاد فرمالیسم‌های گرامری معرفی شده که بعضی یا همهٔ ویژگی‌های توصیفی توسط جوشی را دربردارند.