形式化描述技术概述FSM

- - - - - - - -