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

The Equivalent Transformation of SDL Language and Its Tool Implementation

作　　者：刘玉璋[1] 杨放春[1] 

机构地区：[1]北京邮电大学程控交换技术与通信网国家实验室

出　　处：《高技术通讯》1995年第3期4-8,共5页Chinese High Technology Letters

基　　金：国家自然科学基金

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

关 键 词：SDL语言 语言变换 软件工具 程序语言 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论] TP312[自动化与计算机技术—计算机科学与技术]