简述形式语言的三种类型。