Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (3.55 MB, 16 trang )
Input x R as the
second coordinate
of a point in R2 with
first coordinate 0
(0, x)
x1
Branch
x<1
Output k, the
coordinate
k
(k, x) (k+1, x-1)
Replace (k, x)
by (k+1, x-1)
n
Input n Z R
(2n.s, 22n-1.s)