A Formal Language for Permutation Recombination Operators