التعبير المتاح

في مجال تحسينات المُصرّفات ، تُعدّ التعبيرات المتاحة خوارزمية تحليل تُحدّد، لكل نقطة في البرنامج، مجموعة التعبيرات التي لا تحتاج إلى إعادة حساب. تُسمى هذه التعبيرات " متاحة" عند تلك النقطة. ولكي تكون التعبيرات متاحة عند نقطة معينة في البرنامج، يجب ألا تتغير معاملاتها على أي مسار من موضع ظهورها إلى تلك النقطة.

يُعد هذا التحليل مثالًا على مشكلة تحليل تدفق البيانات الأمامي . يتم الاحتفاظ بمجموعة من التعبيرات المتاحة. تُحلل كل عبارة لمعرفة ما إذا كانت تُغير معاملات تعبير واحد أو أكثر من التعبيرات المتاحة. ينتج عن ذلك مجموعات من التعبيرات المتاحة في نهاية كل كتلة أساسية ، تُعرف في مصطلحات تحليل تدفق البيانات باسم " البداية" . يكون التعبير متاحًا في بداية الكتلة الأساسية إذا كان متاحًا في نهاية كل كتلة أساسية سابقة لها. يُعطي هذا مجموعة من المعادلات بدلالة المجموعات المتاحة، والتي يمكن حلها باستخدام خوارزمية تكرارية.

يُستخدم تحليل التعبيرات المتاحة لإجراء عملية حذف التعبيرات الفرعية المشتركة على مستوى العالم . إذا كان التعبير متاحًا في نقطة معينة، فلا داعي لإعادة تقييمه.

• أهو، سيثي وأولمان: المترجمون - المبادئ والتقنيات والأدوات، شركة أديسون ويسلي للنشر، 1986