#可逆

跳转至导航跳转至搜索可逆计算是一种计算模型，其中计算过程在某种程度上是时间可逆的。在使用从抽象机的一种状态到另一种状态的确定性转换的计算模型中，可逆性的必要条件是，从（非零概率）状态到其后继项的映射关系必须是一对一的。可逆计算是非常规计算的一种形式。 为此，有两种特别重要的密切相关的可逆性类型：物理可逆性和逻辑......

Jl(DSLLang)，是一种允许程序回到过去的可逆域特定语言(逆)。 现在，函数数据视图由x|>；双射指定，例如，在可逆上下文中，先前的grad(X)现在应该写为x|>；grad。 可逆计算之所以奇怪，主要是因为我们缺乏使用它的经验。--亨利·贝克(Henry Baker，1992)。 对i=1：lengt......