部分递归算子

partial recursive operator