Text this: SDL形式语义定义现状及其改进