SDL_TRAN，一个形式描述语言SDL的交互式生成器

SDL_TRAN: An Interactive Generator for Formal Specification Language SDL

本文报告一种能将ＦＳＭ自动转换为ＳＤＬ描述的ＳＤＬ描述生成器──ＳＤＬ_ＴＲＡＮ。除了自动变换部分之外，ＳＤＬ_ＴＲＡＮ还包含一个具有友好用户接口的图形编辑器。

This paper reports an interactive generator for SDL_named SDL-TRAN,which Can automatically translate FSM into SDL specification.Besides the automatic part,SDL_TRAN includes a graphical editor.