浏览全部资源
扫码关注微信
北京邮电大学
纸质出版日期:1994
移动端阅览
[1]刘玉璋,杨放春.SDL语言SAVE功能的等价变换[J].通信学报,1994(04):39-47.
[1]刘玉璋,杨放春.SDL语言SAVE功能的等价变换[J].通信学报,1994(04):39-47. DOI:
DOI:
本文提出CCITT在SDL基本集中定义的SAVE概念是可导出的新观点,并通过形式化地定义适合SDL的扩展有限状态自动机(EFSM)模型,导出了一个消除SAVE的变换算法,同时证明了该算法保持了变换前后EFSM的等价性。
0
浏览量
17
下载量
1
CSCD
关联资源
相关文章
相关作者
相关机构