形式语言理论正文　　用数学方法研究自然语言（如英语）和人工语言（如程序设计语言）的语法的理论。形式语言就是模拟这些语言的数学工具。它只研究语言的组成规则，不研究语言的含义。 　　形式语言理论在自然语言的理解和翻译、计算机语言的描述和编译、社会和自然现象的模拟、语法制导的模式识别等方面有广泛的应用。 　　历史情况　形式语言的研究始于20世纪初，把形式语言用于模拟自然语言是50年代中期的事。当时，许多数理语言学家致力于用数学方法研究自然语言… [ 进入词条 ][ 进入形式语言理论维吧 ]