1.Previous
3.Next

followed by a reflection, followed by more left moves, a reflection, and so on, that is, as which is clearly isomorphic to from above. Evaluating some explicit sequence of at the function argument gives a dyadic rational; explicitly, it is equal to where each is a binary bit, zero corresponding to a left move and one corresponding to a right move. The equivalent sequence of moves, evaluated at gives a rational number It is explicitly the one provided by the continued fraction keeping in mind that it is a rational because the sequence

1.Previous
3.Next