A recursive algorithm for searching an element in a sorted array by repeatedly dividing the search interval in half. The search starts from the middle element and recursively narrows down the search range until the target is found or determined to be absent.