Application of metasystem transition to function inversion and transformation
Application of metasystem transition to function inversion and transformation
复制标题
元系统跃迁在函数反演和变换中的应用
DOI：
10.1145/96877.96953
复制
发表时间：
1990
期刊：
影响因子：
--
通讯作者：
V. Turchin
中科院分区：
文献类型：
--
作者：
R. Glück;V. Turchin
我们通过构造证明了Turchin [7]在理论上考虑的一个应用，即元计算的自应用将允许逆算法的自动构造，特别是从二进制加法算法中自动构造二进制减法算法。此外，我们将提出一个有效的模式匹配，导致高德纳，莫里斯和普拉特算法的算法建设的结果。这些结果是通过自适用超级编译器系统的第一个工作模型实现的，实现了元计算的概念。
We proved by construction an application considered theoretically by Turchin [7] that self-application of metacomputation will allow the automatic construction of inverse algorithms, in particular the algorithm of binary subtraction from the algorithm of binary addition. Further, we will present results concerning the algorithmic construction of an efficient pattern matcher, which leads to the Knuth, Morris and Pratt algorithm. These results were achieved with the first working model of a self-applicable supercompiler system, implementing the concept of metacomputation.