Semantics with Applications

1
Semantics with Applications

• (2?3?)

2
2.3 ?????

• While??????2? (???????????????) ?????????????

3

• ?? 2.26
• While????????
• ????
• ?????2??????????

?????????S?????????? ????????????????????
?????????????? ?????????S??????????
???????????????????? ??????
4

• (??2.26????????????)
• ????2.27
• While???????S???s?s?
• ??s???S?????????????????
• ????????????????????????

?????????
5
??2.27???

• ?????ltS, sgt?S????????????????
• (???ass(ns),skip(ns),.???)???????

6
??2.27??? (1/3)

7
??2.27??? (2/3)

8
??2.27??? (3/3)

9

• (??2.26????????????2)
• ????2.28
• While???????S???s?s,???k?
• ??s???S?????????????????????????????????????????

???
(???????2.27??) ?????????
10
??2.28??? (1/3)

11
??2.28??? (2/3)

12
??2.28??? (3/3)

13

• ??2.26???
• ??????S???s??????2.27?2.28??
• ??????
• ???
• ?????

14

• ??2.29
• While??????? repeat S until b ????????
• ?????????????2.7??????????????2.17??????????????
  ??2.26??????????????????

15

• ??2.30
• While??????? for x a1 to a2 do S ????????
• ?????????????2.8??????????????2.18??????????????
  ??2.26??????????????????

16

• ??2.26?????????????technique

1.????????????????????????????????????????????????
??????????? 2.????????????????????????????????????
????????????????????????????