该文介绍了基于术语重写的动力系统的代数模拟，证明了递归函数应用于迭代重写系统的输出定义了一类模型，包括循环神经网络、图神经网络和扩散模型等所有主要的动态机器学习模型架构。这些代数模型也是描述动态模型组成性的一种自然语言，同时也为将动态模型推广到结构化或非数值数据的学习问题提供了一个模板。