●无二义性: 所谓二义性是指:相同的语法结构存在两种 或更多种理解。无二义性是每个程序语言设 计的中心问题。二义性问题通常不是出现在 单个的程序元素中,而是在不同结构的相互 作用下表现出来的。 例1:C语言中存在两种不同的条件形式: if(ConE)S if (ConE) SI else S2 每一条语句均清楚的解释了语义,不存在二 义性。但将两个语句组合为: if(ConEl) if(ConE2)SI else S2 此时,存在二义性。⚫ 无二义性： – 所谓二义性是指：相同的语法结构存在两种 或更多种理解。无二义性是每个程序语言设 计的中心问题。二义性问题通常不是出现在 单个的程序元素中，而是在不同结构的相互 作用下表现出来的。 – 例1：C语言中存在两种不同的条件形式： if (ConE) S if (ConE) S1 else S2 – 每一条语句均清楚的解释了语义，不存在二 义性。但将两个语句组合为： if (ConE1) if (ConE2) S1 else S2 此时，存在二义性