Abstract:The termination of linear loops has been studied extensively, but there are few results collected on termination of nonlinear loops. Through the fixed point theorem, this paper presents an approach to the decision of termination of a class of nonlinear loops. In addition, for a particular class of loops, the paper gives a condition under which the termination of the loops is decidable.