في هذه الورقة، ندرس مشكلة الاشتقاق التام في القواعد غير المحددة السياق وغير القابلة للاختزال والحساسة للسياق. given a grammar and a terminal word, one has to determine whether there exists a derivation of this word which uses each production no less than a given number of times. لقد تم إثبات أن مشكلة الاشتقاق التام لكلمة فارغة في قاعدة غير محددة السياق هي مشكلة NP-complete. بالنسبة للقواعد غير القابلة للاختزال والحساسة للسياق، فإنها قابلة للحل بشكل متعدد الحدود للكلمات ذات الطول 1، وهي NP-complete لكل كلمة ثابتة بطول لا يقل عن 2. تم الحصول على نتائج مماثلة لنوع آخر من مشكلة اشتقاق التام عند وضع قيود على مقدار استخدام المتغيرات غير النهائية في الاشتقاق.
درس دوداكوف وآخرون (الأربعاء) هذا السؤال.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: