Splitting and Merging Words

Consider:

which is the Cantor zigzag function. This function is in the class of Gödel’s primitive recursive functions so it is Computable.

So the map if is a computable function. We write and call this operation merging.

The inverse of this operation is also Computable and we call this splitting:

such that