 Assuming formula_13 is the formula_4th Gray-coded bit (formula_15 being the most significant bit), and formula_6 is the formula_4th binary-coded bit (formula_18 being the most-significant bit), the reverse translation can be given recursively