众所周知，重写的一阶理论是可以确定的术语重写系统，但一般技术使用树自动机，并且通常需要指数时间。对于许多属性，包括汇流（CR），关于约简（UNR）和关于转换（UNC）、多项式时间决策程序是已知的地面程序术语重写系统。然而，正常形式的情况并非如此属性（NFP）。在这项工作中，我们提出了NFP的三次时间算法UNR的几乎三次时间算法和UNC，改进了以前的边界。我们还提出了一种用于CR的立方时间算法。