摘要
在分析SDL语言文法的基础上,构造了SDL/FOP的文法形式,并在SDL/FOP的定义中保持了SDL语言各种语法成分的相互关系,从而证明了SDL语言与离散形式的SDL/FOP是等价的,最后给出了SDL/PR到SDL/FOP转换系统的实现算法。
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.
出处
《高技术通讯》
CAS
CSCD
1995年第3期4-8,共5页
Chinese High Technology Letters
基金
国家自然科学基金