本文提出了一种通用的定量框架，用于研究涉及聚合物序列相互作用的动力学过程。可能的应用范围从聚合反应动力学的定量研究扩展到化学实现的计算行为（包括基本生命样）过程的探索。通过这种方式，我们在由序列相互作用定义的系统中建立了热力学和计算方面之间的桥梁。在这些研究的副产品中，我们澄清了围绕“自催化的”概念的一些常见混淆，并定量展示了如何使化学实现的图灵机接近兰道尔极限运行。通过采用马尔可夫过程模型描述聚合物序列组成，并通过常微分方程（ODE）动态演化马尔可夫过程参数，该方法能够在采取“化学”多粒子极限以及“稀疏相互作用”极限时，实现对系统熵生成的精确定量探索，其中计算由热力学平衡弛豫驱动。计算框架内部利用Scheme编程语言的内在连续机制提供非确定性求值原语，允许用户以纯粹的功能代码形式指定示例系统，从而自动且隐式地完成所有可能的相关序列组成配置的探索，而无需手动编写繁琐的代码。一系列完全解析的示例阐明了此建模方法与精确和近似解析方法之间的定量关系。这些示例还可作为进一步探索的起点。

This work introduces a generic quantitative framework for studying dynamical processes that involve interactions of polymer sequences. Possible applications range from quantitative studies of the reaction kinetics of polymerization processes to explorations of the behavior of chemical implementations of computational -- including basic life-like -- processes. This way, we establish a bridge between thermodynamic and computational aspects of systems that are defined in terms of sequence interactions. As by-products of these investigations, we clarify some common confusion around the notion of ``autocatalysis'' and show quantitatively how a chemically implemented Turing machine can operate close to the Landauer bound. Using a Markov process model of polymer sequence composition and dynamical evolution of the Markov process's parameters via an ordinary differential equation (ODE) that arises when taking the double ``chemical'' many-particle limit as well as ``rarefied interactions'' limit, this approach enables -- for example -- accurate quantitative explorations of entropy generation in systems where computation is driven by relaxation to thermodynamic equilibrium. The computational framework internally utilizes the Scheme programming language's intrinsic continuation mechanisms to provide nondeterministic evaluation primitives that allow the user to specify example systems in straight purely functional code, making exploration of all possible relevant sequence composition constellations -- which would be otherwise tedious to write code for -- automatic and hidden from the user. A collection of fully worked out examples elucidate how this modeling approach is quantitatively related to both exact and approximate analytic approaches. These examples can also serve as starting points for further explorations.