形式语言——三大构成