This paper gives the sufficient and necessary conditions which guarantee the existence of a diffeomorphism in order to transform a nonlinear system without inputs into a canonical normal form that is output dependent. Moreover, we extend our results to a class of systems with inputs.