SC语法定义