Computable functions and semicomputable sets on many-sorted algebras