没有合适的资源?快使用搜索试试~ 我知道了~
编译原理:第8章 语法制导翻译.pdf
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
0 下载量 164 浏览量
2022-05-17
20:26:50
上传
评论
收藏 530KB PDF 举报
温馨提示
试读
17页
编译原理:第8章 语法制导翻译.pdf
资源推荐
资源详情
资源评论
ဴ࿌ד
Semantics Analysis
ဴ࿌ד
ё༝ԅۃ࿌౿ރё༝ᄯԅϦדઝఘġ
x
x ࠒٲԅۃ࿌
——ᆓԅۃ࿌ჾ௲А
x
x ࣅᄥࠒٲԅۃ࿌
——ဴཝᆑಆՇ࿌ܤူׄܤ
ဴ֥ჾ௲ωϢટᄃۃ࿌ဴ࿌ჾ௲d
ဴ࿌ד
ྦྷဴཝԅဴ࿌ڟ႕ճဴ֥דԄӾԅဴ֥ࠒٲࠩ
ࡁൟဴ࿌Аstatic semantic analysis௲Շc
ۤၮസۦ֥Аcಭιۃ࿌ူອԅဴ࿌҉ރ
ୣྡྷ໔ࡁൟဴ࿌АēωဈখྡྷᄵઝϦζವѻ
ࣿēݧრᄐࠄဈંγဴཝζವѻࣿd
ᄯӝ৲ಓюࡨ
ဴ࿌דё༝ġVHPDQWLFDQDO\]HU
ဴ࿌ד
ྡྷெࣣຏēဴ࿌דࠧСಓᄯӝ৲ġ
µ
µ ҭ֥דူဴ֥ד߅ӦcΑ໌ēပဟઔԤדࠓĢ
µ
µ ပဟᄯӝ৲ညܤĢ
µ
µ ပဟё༝ԅྭᄑĢ
µ
µ ပဟఉԅדࠓcఆၔԅᆦᄎd
ဴ࿌ד
ဴ࿌דԅݮ·ٟટġ
µ
µ ௲Շ——௲Շγಭൎڑԅ ҭ֥ד
µ
µ А——ၮസۦ֥cၮസճເྡྷᄡݧອఘ
µ
µ ಭιۃ࿌——ဴ֥юדԅۃ࿌ᄯӝ৲cંγӝ৲
µ
µ ࣅᄥঠА——ࣅᄥঠဴࡳΡ༖ᅧྭӾۦ֥ԅԙֺ
µ
µ ୣࡁൟဴ࿌А——ทྡྷАcອڑᆓАcᆓ
ᆴဈ့ד
ఢۥࠩĦ
ဴ࿌ד
ဴ࿌ಾ౨ຏำပڑԅēࠩܤ۳ࣲઔd
౩ํ٤ఊԅcڜַ΄ࠄူঠҎԅဴ࿌ܤຂහ
ဈဟ೭ё༝ಁޙဴཝԅဴ࿌d
౩รюࢶဈဟΩ࿒ё༝ٲႏԅcຂහԅܤဴ
࿌സ֥ݧԥޏ೬d
ဴ֥ᄥӽ֪࿒ޏ೬ပဟဴ࿌דူંγӝ৲ಓю
ԅܤᆜಬဈd
ဴ ֥ ᄥ ӽ ֪ ࿒
Syntax Directed Semantics
µ
µ
೫ำ֥
µ
µ
ဴ֥ᄥӽ֪࿒
µ
µ
ંγӝ৲ࠒٲ
µ
µ
ᄯӝ৲
µ
µ
ࣅᄥဴࡳԅ֪࿒
༰ંγ
Ⴧไ
ဴ֥ᄥӽ֪࿒ԅݮ·ຸ
ંγӝ৲ࠒٲԅಁޙ
೫ำ֥ԅٲႏ
ဈ೫ำ֥ࠩဴ࿌ד
Шߎԅᄯӝ৲ಓю
ࠓ
೫ԅᄵ
ဴ֥ᄥӽ֪࿒߅ࠚ
೫ำ֥
ဴ֥ᄥӽ֪࿒ԅݮ·ຸ
೫ԅޙസ
ဴ֥ᄥӽ֪࿒
1.
೫ำ֥
(Attribute Grammar)
ё༝ԅဴ࿌ઝఘူԅဴ֥ອڑd
ൎပԅຣӝဴཝ՛ပუّඋd
ဴ֥ᄥӽ֪࿒
1.
೫ำ֥
(Attribute Grammar)
Ω࿒ڶёᄯ༓ྑճ۳տࠩ҉ēఢᆓԅc
ζӒԅᄔcέԅӉ҅ԙᄖcё༝ԅંγӝ৲cԅပ໒
สcАඡۜζԅЀᆴcӕѻӐԅЀᆴcಓюӝ৲
ԅЀᆴԉēუ໔ԅݦԄۤ΄҉ူဴ֥юדອڑd
ำ
֥ۜēဍୣಾׄᄴࠒۜӝζဴཝԅဴ֥юדd
นำ֥ۜࠩྡྷᆦ೫ēྻࢹܢອဴ֥юדԅဴ࿌
d
೫ࢶྻӝζఉۥճເġᆓґcᆓccઝӉӦ
၍ݧୣճເd
ဴ֥ᄥӽ֪࿒
1.
೫ำ֥
(Attribute Grammar)
ճّ౨ຏำํڑำ֥ēนّำ֥ۜᄗՇྡྷᆦ೫
ēயนำ֥ᄯԅّСಓؘަྡྷխ೫ޙസֺ֥
——
ဴ࿌ڟ႕ဴ࿌Վᆴဴ࿌ᆐё༝ē႕ы؞ำ֥น೫ำ
֥dၐำ֥ыนݮ҄ำ֥d
ဴ࿌ڟ႕ԅޙസēࢶྻಓюӝ৲cၽۜζᄯӉ
cͱӐݧრюୣЀᆴd
ճదۜґԅ֪࿒ēಾճဴ࿌ڟ႕ௐᄔԅڶёd
ဴ֥ᄥӽ֪࿒
1.
೫ำ֥
——
ࡨ
G[L]
ġ
L
»
En
E
»
E
+T
E
»
T
T
»
T
F
T
»
F
F
»
(E)
F
»
digit
print(E.val)
Ģ
E.val:=E
1
.val+T.val
Ģ
T.val:=T
.val
F.val
Ģ
E.val:=T.val
Ģ
F.val:=E.val
Ģ
T.val:=F.val
Ģ
F.val:=digit.lexval
Ģ
ဴ֥ᄥӽ֪࿒
1.
೫ำ֥
——
ࡨ
G[D]
ġ
D
»
TL
T
»
int
T
»
real
L
»
L
1
ē
id
L
»
id
L.in:=T.type
Ģ
T.type:=integer
Ģ
L
1
.in:=L.in
Ģ
T.type:=real
Ģ
addtype(id.entry
ē
L.in)
Ģ
addtype(id.entry
ē
L.in)
Ģ
γಭၽ
ۜζԅద
ࣇd
ဴ֥ᄥӽ֪࿒
1.
೫ำ֥
——
ࡨ
G[S]
ġ
S
»
xxW
S
»
y
W
»
Sz
print “1”
Ģ
print “2”
Ģ
print “3”
Ģ
ဴ֥ᄥӽ֪࿒
1.
೫ำ֥
(Attribute Grammar)
೫ᄔԅޙസēဎဴ֥דڶёᄯСಓԅဴ֥ד೮ອ
ࠒԤԅܬࡂӽѻࣿd
——
೫ԅΩ
/
Շ
( binding )
೫דนġ
ࡁൟ
( static )
೫ġᄓᄍΩēఢԅပ໒สĢ
Վൟ
( dynamic )
೫ġၽᄓΩēఢζӒԅ
ᄔēՎൟדଅԅࠒٲԅสᄢd
Ω࿒ё༝Ωໟრڑᅟԅಾઊ໔ၽ֪࿒ನΩԅՎൟ೫d
ဴ֥ᄥӽ֪࿒
2.
ဴ֥ᄥӽ֪࿒ԅݮ·ຸ
ၽဴ֥דԅڶёᄯēྦྷ഻דԅڶёēّٔ
Сಓචަԅဴ࿌Վᆴ֪ࠩ࿒dྡྷӪّСಓ΄༪
ဈဟӽݧڢၟēᄓୣ܊ອԅဴ࿌Վᆴēю၇
Շԅ֪࿒ٝᆴd
ဴ֥דူဴ࿌דҌЌࠩ
ēဴ֥דӽဴ࿌
ד
——
ဴ֥ᄥӽd
ဴ֥ᄥӽ֪࿒
2.
ဴ֥ᄥӽ֪࿒ԅݮ·ຸ
——
ࡨ
3+5
2+1
G[L]
ġ
L
»
En
E
»
E
+T
E
»
T
T
»
T
F
T
»
F
F
»
(E)
F
»
digit
print(E.val)
Ģ
E.val:=E
1
.val+T.val
Ģ
T.val:=T
.val
F.val
Ģ
E.val:=T.val
Ģ
F.val:=E.val
Ģ
T.val:=F.val
Ģ
F.val:=digit.lexval
Ģ
d+d*d+d
ဴ֥ᄥӽ֪࿒
2.
ဴ֥ᄥӽ֪࿒ԅݮ·ຸ
——
ࡨ
int id
ē
id
ē
id
int a
ē
b
ē
c
G[D]
ġ
D
»
TL
T
»
int
T
»
real
L
»
L
1
ē
id
L
»
id
L.in:=T.type
Ģ
T.type:=integer
Ģ
L
1
.in:=L.in
Ģ
T.type:=real
Ģ
addtype(id.entry
ē
L.in)
Ģ
addtype(id.entry
ē
L.in)
Ģ
ဴ֥ᄥӽ֪࿒
2.
ဴ֥ᄥӽ֪࿒ԅݮ·ຸ
——
ࡨ
G[S]
ġ
S
»
xxW
S
»
y
W
»
Sz
print “1”
Ģ
print “2”
Ģ
print “3”
Ģ
ద
“
[[[[\]]
”
ēำ֥ߜѻĦ
ဴ֥ᄥӽ֪࿒
3.
೫ԅᄵူޙസ
——
ᄵ
೫ඹШדนġᆘۦ೫
(Synthesized Attribute)
ۤޟѕ೫
(Inherited Attribute)
d
ᆘۦ೫ġྦྷဟᆐࠒԤԅ೫ēဈဟ
“
ᆑຏ֗౨
”
Ҏ
Ԟd
ޟѕ೫ġྦྷဟؓࠒԤۤ༁ԝࠒԤԅ೫ēဈဟ
“
ᆑ౨֗ຏ
”
ҎԞd
3
3
3
3
5
5
5
2
2
1
1
1
10
13
14
G[L]
ġ
L
»
En
E
»
E
+T
E
»
T
T
»
T
F
T
»
F
F
»
(E)
F
»
digit
print(E.val)
Ģ
E.val:=E
1
.val+T.val
Ģ
T.val:=T
.val
F.val
Ģ
E.val:=T.val
Ģ
F.val:=E.val
Ģ
T.val:=F.val
Ģ
F.val:=digit.lexval
Ģ
E
YDO
3
OH[Y
T
YDO
E
YDO
T
YDO
F
YDO
T
YDO
E
YDO
F
YDO
T
YDO
5
OH[Y
F
YDO
1
OH[Y
F
YDO
2
OH[Y
L
n
3+5
2+1
ؘᅟဴ֥೮ဴ֥ד೮
D
L.in
T.type
id
HQWU\
L
1
.in
id
HQWU\
L
1
.in
id
HQWU\
int
G[D]
ġ
D
»
TL
T
»
int
T
»
real
L
»
L
1
, id
L
»
id
L.in:=T.type
Ģ
T.type:=integer
Ģ
L
1
.in:=L.in
Ģ
T.type:=real
Ģ
addtype(id.entry, L.in)
Ģ
addtype(id.entry, L.in)
Ģ
int id
ē
id
ē
id
integer
int a
ē
b
ē
c
integer
integer
integer
addt(id.entry,L
1
.in)
addt(id.entry,L
1
.in)
addt(id.entry,L.in)
ؘᅟဴ֥೮ဴ֥ד೮
ဴ֥ᄥӽ֪࿒
3.
೫ԅᄵူޙസ
——
ޙസ
Ôّำ֥ۜԅޟѕ೫ۤᆘۦ೫ᄍ߬ނนࣂd
Õᄴࠒۜᄚပᆘۦ೫ēဎҭ֥ד୶ඔ٢d
Öׄᄴࠒޛࢶပᆘۦ೫ྙࢶပޟѕ೫ēӬำ֥ಳ
ۜပޟѕ೫ԅޙസēୣൎပޟѕ೫ᄔน೫ޙസԅѺ
ಳᄔd
×
೫ޙസڟ႕ᄚટರဈອСಓᄯำ֥ۜԅ೫d
ØСಓဗΨԅᆘۦ೫ۤСಓᆰΨԅޟѕ೫Ϣဎൎ
ٓԅСಓԅ೫ޙസڟ႕ࠩޙസē֗ဎୣСಓԅ೫ޙ
സڟ႕ޙസݧဎ೫ޙസ୶ԅϵඔ٢d
剩余16页未读,继续阅读
资源评论
zzzzl333
- 粉丝: 674
- 资源: 7万+
下载权益
C知道特权
VIP文章
课程特权
开通VIP
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功