The K-groups of substitutional dynamical systems 1