形式语言学的研究方法