什么是类型 3 语法?解释它的特性