Given a simple recursive function, we show how to extract from it a reversible and an classical iterative part. Those parts can synchronously cooperate under a Producer/Consumer pattern in order to implement the original recursive function. The reversible producer is meant to run on reversible hardware. We also discuss how to extend the extraction to a more general compilation scheme.
翻译:鉴于一个简单的递归函数,我们演示如何从中提取一个可逆和经典迭代元件。这些元件可以在一个制片人/消费人模式下同步合作,以便执行原来的递转函数。可逆制元件使用可逆硬件运行。我们还讨论如何将提取扩展至一个更普遍的编译计划。