语言描述的几个概念
- 字母表
一个有穷字符集 记为Σ - 字母表中的每个元素称位字符
- Σ上的字是指由Σ中的字符所构成的一个有穷序列
- 不包含任何字符的序列称为空字
- 用Σ*表示Σ上所有字的全体
- Σ*的子集U和V的连接 为定义
UV = {ab | a属于U & b 属于V}, a b 是有顺序的 - V自身的n次积为
Vn = VV…V - V*是V的闭包 V* = V0UV1…
- V+是V的正规闭包: V+ = VV*
上下文无关法
- 上下文无关文法G是一个四元组
G = (VT, VN,S,P),其中
VT :终结符集合(非空)
VN :非终结符集合(非空 )VT ∩ VN = 空集
P:产生式集合(有限)
文法生成语言
- 从句子到 He gave me a book. 是直接推出
- 两种推出
- 句型、句子和语言
假定G是一个文法,S是它的开始符号。如果
则称a为一个句型。
仅含有终结符号的句型是一个句子。
文法G所产生的句子的全体是一个语言,记为L(G)。