الذكاء الاصطناعي, تصميم الأنظمة, علوم الحاسوب, هندسة البرمجياتآلة الحالة المنتهية الممتدة (Extended Finite-State Machine)