SDL语言SAVE功能的等价变换  

The Equivalent Transformation of the SAVE Function of SDL Language

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

机构地区：[1]北京邮电大学

出　　处：《通信学报》1994年第4期39-47,共9页Journal on Communications

基　　金：国家自然科学基金

摘　　要：本文提出ＣＣＩＴＴ在ＳＤＬ基本集中定义的ＳＡＶＥ概念是可导出的新观点，并通过形式化地定义适合ＳＤＬ的扩展有限状态自动机（ＥＦＳＭ）模型，导出了一个消除ＳＡＶＥ的变换算法，同时证明了该算法保持了变换前后ＥＦＳＭ的等价性。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.

关 键 词：SDL语言 等价变换 SAVE 

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