为下列变量声明语句文法设计一个SDD,为标识符id确定数据类型,并将数据类型填入其对应符号表项中(调用过程addType)。 D→TV V→id,V| id T→float 给出详细的具有一个综合属性的SDD表格
时间: 2024-06-07 16:05:56 浏览: 23
SDD:
$D\rightarrow TV\{addType(V.id, T.type)\}$
$V\rightarrow id\{V.type=T.type\}$
$V\rightarrow V_1,V_2\{V.type=V_1.type\}$
$T\rightarrow float\{T.type=float\}$
其中,$addType(id, type)$ 表示将标识符 $id$ 的类型设为 $type$ 并将其添加到符号表中。
SDD 表格:
| 产生式 | 综合属性计算 | 语义动作 |
| ------ | ------------ | -------- |
| $D\rightarrow TV$ | $T.type$ | $addType(V.id, T.type)$ |
| $V\rightarrow id$ | $T.type$ | $V.type=T.type$ |
| $V\rightarrow V_1,V_2$ | $V_1.type$ | $V.type=V_1.type$ |
| $T\rightarrow float$ | $float$ | $T.type=float$ |
相关问题
为下列变量声明语句文法设计一个SDD,为标识符id确定数据类型,并将数据类型填入其对应符号表项中(调用过程addType)。 D→TV V→id,V| id T→float
为了实现该SDD,需要在语法树的每个D节点上执行以下操作:
1. 在子节点V上执行SDD,获取标识符id的名称。
2. 将标识符id的类型设置为T中指定的类型(即float)。
3. 调用过程addType,将标识符id及其类型添加到符号表中。
因此,SDD的规则如下所示:
D → TV {
// 获取类型T
T.type = float;
// 获取变量名id
string idName = V.name;
// 将变量类型添加到符号表中
addType(idName, T.type);
}
V → id {
// 返回标识符名称
$$ = id.name;
}
V → V1 | id {
// 返回标识符名称
$$ = id.name;
}
T → float {
// 设置类型为float
$$ = float;
}
1)(4分)为下列变量声明语句文法设计一个SDD,为标识符id确定数据类型,并将数据类型 填入其对应符号表项中(调用过程addType)。 D→TV V→id,V|id T→ float (2)(4分)修改文法如下,再为其设计一个只有综合属性的SDD,完成相同的语义分析(同样 调用过程addType填写符号表)。 D→V id V→V id, V→T T→ float (3)(4分)分别利用(1)(2)的SDD对句子float a,b,c进行语义分析,画出对应的注释语法分析树 和依赖图。
(1) SDD:
D → T{addType(T.type)} V{id.type=T.type; addType(id.type)}
V → id{id.type=lookupType(id.name)}
| V{id.type=V1.type} , id{id.type=lookupType(id.name)}
T → float{T.type=float}
(2) SDD:
D → V{id.type=lookupType(id.name)}
id{id.type=V.type; addType(id.type)}
V → V{id.type=V1.type} , id{id.type=lookupType(id.name)}
| T{V.type=T.type}
T → float{T.type=float; addType(float)}
(3) 对句子float a,b,c进行语义分析的注释语法分析树和依赖图如下:
注释语法分析树:
![image.png](attachment:image.png)
依赖图:
![image-2.png](attachment:image-2.png)