简单的语法类型判别和Vn,Vt集合。只是初步的判别