SDL语言的等价变换及工具实现

The Equivalent Transformation of SDL Language and Its Tool Implementation

在分析ＳＤＬ语言文法的基础上，构造了ＳＤＬ／ＦＯＰ的文法形式，并在ＳＤＬ／ＦＯＰ的定义中保持了ＳＤＬ语言各种语法成分的相互关系，从而证明了ＳＤＬ语言与离散形式的ＳＤＬ／ＦＯＰ是等价的，最后给出了ＳＤＬ／ＰＲ到ＳＤＬ／ＦＯＰ转换系统的实现算法。

Based on the syntax of analysing of SDL language,this paper constructs the form of SDL/FOP whichkeeps the relationship among different components of SDL,and proves the equivalence between SDL anddiscrete SDL/FOP.Final ly,the paper gives the algorithm of transformation.