نظریه گسترش‌دهنده‌ها و کاربرد در علوم رایانه