如果粗略地说，规则右侧的构造函数术语是左侧；计算直觉是规则不能建立新的数据结构。在程序设计语言研究中，无缺点语言用于描述计算复杂性类的层次结构；在里面术语重写，无cons-free一阶TRS用于表征PTIME类。我们研究了无同源高阶项重写系统的复杂性类，以及它们如何依赖于系统。我们证明了，对于每一个K$\geq$1，左线性同源自由系统如果使用无限制求值，则使用类型顺序K表征E$^K$TIME（即，系统没有固定的还原策略）。在隐式复杂性方面，与以往工作的主要区别在于（i）我们的没有假设的非正交项重写系统的结果成立约简策略，（ii）我们因此为每个类获得了更大的类类型顺序（E$^K$TIME与EXP$^{K-1}$TIME），以及（iii）consfree的结果项重写系统以前只在K=1时获得，并且除了cons-freeness和left-linearity之外，还有额外的句法限制。我们的结果是E层次的第一个隐式特征=E$^1$TIME$\subsetneq$E$^2$TIME$\ subsetneq$。。。我们的工作事先确认具有完全非决定论（通过重叠规则）的结果直接允许描述非确定性复杂性类我们还证明了非决定论使类具有特征对小的句法变化高度敏感，如承认产品类型或非左线规则。