6.1句法分析与用作翻译的理论基础 第一种:是上下文无关文法中的歧义性概念的直按推广。 在(中,如果至少存在一个翻译形式(x使得在使用 输入文法时存在两个或更多个各不相同的x最左导出而它 们产生出相同的输出串y那么这个STDS是歧义的。这时 虽然产生相同的翻译但为产生这个翻译所用的基本句法 可能是不同的 第〓种:输入串x产生多个输出串。即如果在L(Gi中至 少存在一个输入串x使得在τ(J)中至少存在两种翻译形式 (y1),(x,y2)并且,y1#y2,那么这个STDS在翻译时 是歧义的 2021/2/23 第6章句法语法与语义理论及分析下近 16
2021/2/23 第6章句法(语法)与语义理论及分析 16 第一种：是上下文无关文法中的歧义性概念的直接推广。 在τ(J)中, 如果至少存在一个翻译形式(x, y), 使得在使用 输入文法时存在两个或更多个各不相同的x最左导出,而它 们产生出相同的输出串y,那么,这个STDS是歧义的。这时 虽然产生相同的翻译,但为产生这个翻译,所用的基本句法 可能是不同的; 第二种：输入串x产生多个输出串。即, 如果在L(Gi)中至 少存在一个输入串x,使得在τ(J)中至少存在两种翻译形式 (x, y1),(x, y2),并且, y1≠y2, 那么, 这个STDS在翻译时 是歧义的。 下页 6.1 句法分析与用作翻译的理论基础
6.1句法分析与用作翻译的理论基础 如果一个系统中存在两个不同的行为 A→β和A→α,y的规则则说明这华规则 反映了语义歧义性。即,使用输入文法中的 产生式A→α时,输出文法提是供了或A→阝或 A→y的选择性。 2021/2/23 第6章句法(语法)与语义理论及分析 17
2021/2/23 第6章句法(语法)与语义理论及分析 17 如果一个系统中存在两个不同的行式为 A→α, β和A→α, γ的规则, 则说明这些规则 反映了语义歧义性。 即, 使用输入文法中的 产生式A→α时, 输出文法提供了或A→β, 或 A→γ的选择性。 下页 返回 6.1 句法分析与用作翻译的理论基础
6.2其它相关语法介绍 621短语结构语言 定义1:一个句子是一个符号串,这个由选自某种 语言词汇表中的一个或多个符号(词)组成 定义2:一种语言是一个句集,它包含了属于这种语 言的全部句子。 定义3:一部语法是对一个句集的一种有限的形式化 描述。 2021/2/23 第6章句法语法与语义理论及分析下近
2021/2/23 第6章句法(语法)与语义理论及分析 18 6.2.1 短语结构语言 定义1：一个句子是一个符号串, 这个串由选自某种 语言词汇表中的一个或多个符号(词)组成。 定义2：一种语言是一个句集, 它包含了属于这种语 言的全部句子。 定义3：一部语法是对一个句集的一种有限的形式化 描述。 6 . 2 其它相关语法介绍 下页
6.2其它相关语法介绍 语法可采用不同形式来定义。如果一种语言只包含 有限句子,那么可以通过逐一枚举的式来定义 然而大多数有研究价值的语言通常都拥有无限多个 句子。描述这类语言的方法之一是编一部程序,然 后读入一个符号串,让机器判断是不是一个句子。 这样的程序叫做这种语言的识别器。另一种描述方 法是利用一种基于产生式的形式化工具。这种被广 泛用来描写形式语言和自然语言的工具被称为产生 式语法或短语结构语法。 2021/2/23 第6章句法语法与语义理论及分析下近
2021/2/23 第6章句法(语法)与语义理论及分析 19 语法可采用不同形式来定义。如果一种语言只包含 有限句子, 那么可以通过逐一枚举的方式来定义。 然而大多数有研究价值的语言通常都拥有无限多个 句子。描述这类语言的方法之一是编一部程序, 然 后读入一个符号串, 让机器判断是不是一个句子。 这样的程序叫做这种语言的识别器。另一种描述方 法是利用一种基于产生式的形式化工具。这种被广 泛用来描写形式语言和自然语言的工具被称为产生 式语法或短语结构语法。 下页 6 . 2 其它相关语法介绍
6.2其它相关语法介绍 622短语结构语法 一部短语结构语法G可以用如下的四元来定义: G=(TN,sP),其中: T是终结符的集合,终结符是指被定义的那个语言的词 或符号); N是非终结符的集合,这些符号不能出现在最终生成的 句子中,是专门用来描述语法的。显然,T和N的并构成 了符号集V而且T和N不相交,因此有: VETVN T∧N=(表示空集) 2021/2/23 第6章句法语法与语义理论及分析下近
2021/2/23 第6章句法(语法)与语义理论及分析 20 6.2.2 短语结构语法 一部短语结构语法G可以用如下的四元组来定义: G=(T,N,S,P), 其中： T是终结符的集合, 终结符是指被定义的那个语言的词 (或符号); N是非终结符的集合, 这些符号不能出现在最终生成的 句子中, 是专门用来描述语法的。显然, T和N的并构成 了符号集V, 而且T和N不相交，因此有: V=T∨N T∧N=Ф (Ф表示空集) 下页 6 . 2 其它相关语法介绍