用于生成语言中的合格句子，并排除不合格句子的一套数目有限的规则的集合。它山初始符号S、非终极符号VN、终极符号VT和改为规则P四个部分组成，记为：G=(VN，VT，S，P)。句子的生成，表现为从初始符号开始，反复应用改写规则，直到得到一个不能再继续改写的终极符号串(string)为止。这个过程叫做推导史，这个终极符号串就是语言中的一个合格的句子。如假定汉语中有如下的文法：
G=(VN、VT、S、P)
VN=｛NP、VP、D、N、V｝
VT=｛小红、小张、孩子、这、那、一本、一个、两本、两个、买、卖、踢、玩、读、书、球……｝
利用这个文法可以生成诸加”小红读书”、”小张买一本书”、”这孩子玩皮球”之类合格的句子。如”小红读书”这个句子的生成过程如下：
按照形式文法的生成力量，可把它们分为四个类型，即*0型文法、*1型文法、*2型文法、*3型文法。每一类型都由它所包含的改写规则来定义。0型是力量最强的，随着数目的递增，力量就越来越受限制。各类型文法之间的关系是：力量较强的文法包含着力量较弱的文法，即能用力量较弱的文法生成的语言，一定能用力量较强的文法生成，反过来就不一定。
出版时间：1993-09 描写语言学引论 : 美国莱曼 (Winfred P.Lehmann,1916～ )著。1972年由纽约兰登书屋(Ran-dom House)出版。描写语言学,又称静态语言学,是对某一历史阶段的某一具体语言的语音特点、语法、词汇进..
出版时间：1993-09 语言地理类型学 : 日本桥本万太郎(1932～)著。1978年由日本弘文堂出版,本书作者是国际著名语言学家。在本书中,他反对把在印欧语研究中曾获得成功的比较语言学作为研究一切语言的灵丹妙药,批评..
出版时间：1993-09 普通语言学教程 : 瑞士索绪尔(Ferdinand De Saus-sure,1857～1913)著。作者是结构主义语言学奠基人,晚年曾在日内瓦大学讲授语言学。去世后,他的学生根据听课笔记和作者手稿整理成此书。作者在..
出版时间：1993-09 语言论——言语研究导论 : 美国萨丕尔(Edward Sapir,1884～1939)著。作者是美国结构主义语言学的奠基人之一,又是著名的人类学家。此书是他的主要著作。全书11章,内容有:什么是语言、语言的成分..
出版时间：1993-09 历史语言学中的比较方法 : 法国梅耶(Antoine Meillet,1866～1932)著。作者是著名历史比较语言学家,1924年应挪威比较文化研究所之邀赴奥斯陆做语言学专题演讲,后将讲稿整理成此书。全书共10章,..