البرمجة, الذكاء الاصطناعي, تحليل البرامج, علوم الحاسوب, هندسة البرمجياتتحليل الإنهاء (Termination Analysis)