APPLICATION OF THE BANACH FIXED POINT THEOREM ON FUZZY QUASI-METRIC SPACES TO STUDY THE COST OF ALGORITHMS WITH TWO RECURRENCE EQUATIONS

摘要

Considering recursiveness as a unifying theory for algorithm related problems, we take advantage of algorithms formulation in terms of recurrence equations to show the existence and uniqueness of solution for the two recurrence equations associated to a kind of algorithms defined as two procedures depending the one on the other by applying the Banach contraction principle in a suitable product of fuzzy quasi-metrics on the domain of words.