跳到主要内容

1 篇博文 含有标签「可逆是什么」

查看所有标签

· 阅读需 22 分钟
canonical
版权声明

可逆计算理论是我受到物理学和数学的启发,在 2007 年左右提出的新一代的软件构造理论。 可逆一词与物理学中熵的概念息息相关,熵增的方向确定了物理世界中时间箭头的演化方向, 可逆计算理论所研究的是面向演化的粗粒度软件结构的构造规律,所以可逆正是这个理论的点睛之笔。 一些没有学过热力学和统计物理的同学,对于熵的概念一无所知,看到可逆这个说法难免会感到一头雾水。 可逆重要吗?软件要怎么可逆?逆向执行吗?这有什么意义? 在本文中,我简单解释一下可逆计算理论中可逆到底指什么。

可逆计算的核心公式

可逆计算提出了软件构造的一个核心公式

App=Delta x-extends GeneratorDSLApp = Delta\ x\text{-}extends\ Generator\langle DSL \rangle