何の言語だかは知らないけど、バイナリサーチであることは間違いない。
配列Sの中からaと同じ値のデータを探し出す。
見つかったらそのデータのS上のインデックス、見つからなかったら-1を表示する。