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