| SDL语言的等价变换及工具实现 |
| |
| 引用本文： | 刘玉璋,杨放春.SDL语言的等价变换及工具实现[J].高技术通讯,1995,5(3):4-8. |
| |
| 作者姓名： | 刘玉璋 杨放春 |
| |
| 作者单位： | 北京邮电大学程控交换技术与通信网国家实验室 |
| |
| 摘 要： | 在分析ＳＤＬ语言文法的基础上，构造了ＳＤＬ／ＦＯＰ的文法形式，并在ＳＤＬ／ＦＯＰ的定义中保持了ＳＤＬ语言各种语法成分的相互关系，从而证明了ＳＤＬ语言与离散形式的ＳＤＬ／ＦＯＰ是等价的，最后给出了ＳＤＬ／ＰＲ到ＳＤＬ／ＦＯＰ转换系统的实现算法。
|
| 关 键 词： | SDL语言 语言变换 软件工具 程序语言 |
The Equivalent Transformation of SDL Language and Its Tool Implementation |
| |
| Liu Yuzhang, Yang Fangchun.The Equivalent Transformation of SDL Language and Its Tool Implementation[J].High Technology Letters,1995,5(3):4-8. |
| |
| Authors: | Liu Yuzhang Yang Fangchun |
| |
| Abstract: | 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. |
| |
| Keywords: | SDL language Language equivalent transformation |
| 本文献已被 CNKI 维普 等数据库收录！ |
