论文部分内容阅读
本文介绍了关于项重写系统研究的最新课题和动态项重写计算的基本理论。以C语言的一个核心子集为代表，初步探讨了从过程型语言到D，TRC的转换方法，提出了从C语言核心子集到DTRC的转换方法，并以Visual Studio．net为平台设计开发了自动完成该转换的编译器和操作平台，在操作平台上通过调用DTRC的运行系统对目标DTRC程序进行重写计算。
现阶段对过程型语言到项重写系统之间转换的研究主要是通过从C语言到图灵机之间进行转换，再从图灵机到项重写系统之间进行转换，这种转换是复杂的，也是不自然的。目前还没有从过程型语言到形式语言的自然转换的方法。本研究在这方面是一个创新性的工作。