رحلة عميقة في عالم الإنتاج (علوم الحاسب)

الإنتاج أو قاعدة الإنتاج (بالإنجليزية: Production) في علم الحاسوب هي قاعدة إعادة كتابة. والتي تصف أو تحدد استبدال أو اشتقاق رمز (على الغالب يكون رمز يمكننا الاشتقاق منه) لأكثر من مرة للوصول إلى جملة مطلوبة. لا ينبغي الخلط بينه وبين نظام الإنتاج (علوم الكمبيوتر).

(P) هي مجموعة منتهية أو محددة يعتبر المكون الرئيسي من مكونات القواعد الرسمية (خاصة قواعد اللغة التوليدية). المكونات الأخرى (N) عبارة عن مجموعة منتهية من (nonterminal) رموز القابلة للاشتقاق ومجموعات متفارقة عن N تعرف بال (α)، والرموز الغير قابلة للاشتقاق(terminal) (Σ)، ورمز البداية والذي يعتبر رمز قابل للاشتقاق S ∈ N.

في القواعد غير مقيدة، سيكون الإنتاج في الشكل التالي u → v حيث إن u و v عبارة عن سلسلة من الرموز القابلة للاشتقاق (α) والغير قابلة للاشتقاق (Σ ،u) قد لا تكون سلسلة فارغة، وإذا كانت V هي سلسلة فارغة هذا يدل رمز ε أو λ. لذا فان الانتاجات هي من أعضاء جداء ديكارتي









V

∗

N

V

∗

×

V

∗

=

(

V

∗

∖

Σ

)

×

V

∗





{\displaystyle V*NV*\times V*=(V*\backslash \Sigma )\times V*}





حيث V:=N ∪ Σ هي مفردات، ∗ هي نجمة كيلين لدلاله على أن الرمز إما انه لا يتكرر أبدا أو انه يتكرر مرة أو أكثر من مرة (صفر أو أكثر) يشير إلى مجموعة من السلسلة و ∪ يدل على اتحاد (نظرية المجموعات). إذا لم نسمح بوضع رمز البداية في v(الكلمة على الجانب الأيمن) سيتطلب منا استبدال *V بـ *(V ∖ { S }) على الجانب الأيمن من رمز جداء ديكارتي.

الأنواع الأخرى من القواعد الرسمية في تسلسل هرم جومسكي تفرض قيودًا إضافية على ما يشكل الإنتاج. وبشكل خاص في قواعد خالية من السياق، يجب أن يكون الجانب الأيسر من الإنتاج رمزًا واحدًا غير دائم. لذلك يتم إنتاج النموذج:









N

→

(

N

∪

Σ

)

∗





{\displaystyle N\rightarrow (N\cup \Sigma )*}