| SDL语言SAVE功能的等价变换 |
| |
| 引用本文： | 刘玉璋,杨放春.SDL语言SAVE功能的等价变换[J].通信学报,1994,15(4):39-47. |
| |
| 作者姓名： | 刘玉璋 杨放春 |
| |
| 作者单位： | 北京邮电大学 |
| |
| 摘 要： | 本文提出ＣＣＩＴＴ在ＳＤＬ基本集中定义的ＳＡＶＥ概念是可导出的新观点，并通过形式化地定义适合ＳＤＬ的扩展有限状态自动机模型，导出了一个消除ＳＡＶＥ的变换算法，同时证明了该算法保持了变换前后ＥＦＳＭ的等价性。
|
| 关 键 词： | SDL语言 等价变换 SAVE |
The Equivalent Transformation of the SAVE Function of SDL Language |
| |
| Liu Yuzhang,Yang Fangchun.The Equivalent Transformation of the SAVE Function of SDL Language[J].Journal on Communications,1994,15(4):39-47. |
| |
| Authors: | Liu Yuzhang Yang Fangchun |
| |
| Institution: | Beijing University of Posts and Telecommunications |
| |
| Abstract: | This paper proposes a new idea that SAVE defined in the basic part of CCITT-SDL Language is not a basic concept. Based on formal definition of the Extended Finite State Machine (EFSM)model which is suitable for SDL, the paper deduces a transformation algorithm of eliminating SAVE, and proves that this algorithm keeps the equivalence between EFSMs before and after the transformation. |
| |
| Keywords: | SDL Language EFSM Equivalent transformation |
| 本文献已被 CNKI 维普 等数据库收录！ |
