किसी फ़ंक्शन की गणना के लिए अच्छी तरह से परिभाषित निर्देशों की एक सीमित सूची के रूप में व्यक्त की जाने वाली एक प्रभावी विधि ________ कहलाती है।