文法 Grammar
文法是形式化的语言规则, 因此文法是用于生成语言,而语言依托于词,或者说语言是词的组织,因此一个文法所能产生的语言依赖于词的集合,词
的拼接组成了句
,句
构成了语言,因此可以认为,词是句的子集,句是语言的子集,有些词
或者句
在一些条件(或无条件下)能被进一步替换,而描述这些替换规则的式子就称为产生式 production
,因此给出文法G
的定义
G = ( V , T , S , P ) G=(V,T,S,P) G=(V,T,S,P)
其中V
表示一个文法所使用的词
的集合
T
表示不能被进一步替换的词的集合,称为终结符 terminator
S
表示生成一个语言的初始词
P
表示产生式 production
的集合,表示词
或句
的替换规则
并且一个文法G
所能生成的语言L(G)
L ( G ) ⊂ V ∗ , ∗ 是 K l e e n e 闭 包 , 即 字 符 拼 接 运 算 其 中 V 0 = { λ } V i 表 示 进 行 i 次 拼 接 , 每 次 选 取 V 中 的 一 个 元 素 L(G)\subset V^*, *\ 是\ Kleene闭包,即字符拼接运算\\ 其中\ V^0=\{\lambda\}\\ V^i表示进行i次拼接,每次选取V中的一个元素 L(G)⊂V∗,