论文部分内容阅读
在程序展开的理论基础上,本文提出了一种通过求解程序方程来进行程序转换的方法。首先,程序转换的目标表示为程序方程。虽然这样的方程通常是高度复杂而难以直接求解的,但是,通过程序的正交展开,可以将其化为简单方程组。最后,简单方程的解可由方程化简与求解的一组公式以及程序代数定律形式地导出。本文着重讨论了方程的化简和求解,并给出了一些转换实例。