Normal　form　theory　is　an　important　tool　for　the　study　of　the　reduction　and　bifurcation　analysis　of　nonlinear　dynamical　systems.　This　paper　is　to　study　the　reduction　for　normal　form　of　a　class　of　non-autonomous　nonlinear　difference　systems.　For　doing　this,　we　compute　the　transformed　system　of　a　given　non-autonomous　difference　system　under　a　near　identity　formal　transformation.　Moreover,　a　recursive　formula　is　derived　for　the　homogeneous　terms　of　the　transformed　system,　which　is　a　powerful　tool　for　reduction　of　normal　forms　of　non-autonomous　nonlinear　difference　systems.　©　2023　SPIE.