تحلیل تابعی و کاربرد آن در علوم رایانه