We construct an adic model for the Denjoy system (X, T) of finite double orbit number. It is based on the dual Ostrowski numeration system. By using this construction, we can determine the K-theory of C (X) x(T) Z associated with (X, T) in an effective way.