Approach to Define SDL Static Semantics with Basic ASM

• 一种用基本ASM定义SDL静态语义的方法