用于生成语言中的合格句子，并排除不合格句子的一套数目有限的规则的集合。它山初始符号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型是力量最强的，随着数目的递增，力量就越来越受限制。各类型文法之间的关系是：力量较强的文法包含着力量较弱的文法，即能用力量较弱的文法生成的语言，一定能用力量较强的文法生成，反过来就不一定。
概念依存理论(语言)：简称”CD理论”。美国人工智能专家杉克(R．Schank)于1973年所提一种自然语言自动处理的理论。该理论认为，对于任何两个意义相同的句子，其意义的表达式只有一个。CD表达式可由数目有限的若干语义基元组..
基于逻辑的知识表示(语言)：也叫“有定子句文法”。标准的知识表示方式之一。它使用谓词逻辑来控制一组规则子句的分析。每个规则子句的形式为：结论：前提1，前提2，……前提n。其中的“前提”，是一个能够测试真假值的谓词逻辑..
树形分析法(语言)：自然语言自动处理中借助于树形图来说明句子的结构、层次、语义等的方法。树形图由树节和树枝构成。每一树节或者有-个或一串受其支配的子辈树节，或者有一个支配它的父辈树节，或者兼而有之。子辈树节处..
预示分析法(语言)：自然语言自动处理的一种方法。采用这种方法，在计算机从左到右按一个方向分析句子的过程中，对于每一个词，都要给出其预示信息，这个预示信息可预示出这个词之后可能出现什么样的语言成分。如果下面一个成分..
基于框架或语义网络的知识表示(语言)：标准的知识表示方式之一。语义网络由结点、连接这些结点的弧组成。结点代表对象、概念或事件；弧用来描述结点之间的关系。描述关系的弧，其定义方式取决于被表示的知识种类。用于表达..