An algorithm used to determine the termination of some polynomial loops by finite difference was proposed. Based on the basic principle of finite difference, the relation between the value of loop condition and its finite difference was discovered and proved rigorously. On this basis, a method for determining the termination of this class of polynomial loops was obtained. Furthermore, the more complex polynomial loops was analyzed, which had complex loop conditions and multiple branches.
