?3??????

1
?3? ?????
2
?????(??)

• ???????
• ??????????
• ?????
• ????????????
• ????????????
• ????????????

3
????????????

• ??????????,????????????,?????????????,??????????
  ????,??????????????,????????????????????????,?????
  ?????,????????????,????????(????)???????,?????????
  ?????????,?????????????,????EBNF????????????

4
?????????????????

• lt??gt?lt??gtlt??gt
• lt??gt?lt??gtlt??gt
• lt??gt????
• lt??gt??????????
• lt??gt?lt??gtlt????gt
• lt??gt????
• lt????gt?lt??gtlt??gt

5

• ????????,????????????? ????lt??gtlt??gt ?
  lt??gtlt??gt,
• ?????,
• ????????????????
• lt??gt ? lt??gtlt??gt? ? lt??gtlt??gt
• ? ??lt??gt? ??lt??gtlt????gt
• ? ? ??lt????gt ???lt??gt ??????

6

• ??????????????????,
• ?????????????,?????????
• ?????????????????????,????,????????????,??????????
  ???????????????????????????

7
????

• ???????????,?????????????
• ??--??????????????
• ??--??????????????
• ??????--???????????
• ?????????
• ???? ???????
• ???????????

8

• ????????
• ?????????
• ???????
• ???????????
• ?????????
• ?? Syntax
• ?? Semantics
• ?? Pragmatics

9

• ?? -- ????????????????????
• ?? -- ????????????(??????????????????)
• ?? --??????????????,????????????

10

• ??????????,?????????????,???????????????????????
  ???????????????????????????????????????????????
  ????????????????

11
2.1 ???????
?? ??if,else,for,while
??????,???
??????????? ??0,1
C?????? Aa,b,,0,1,,9, ,-,,_/, ( ,
), if, else,for...
????????? ? 0,1 ????????????????????
?0,1, 01, 10, 011,.. ?????????????,?e??
???a????????a a,aa,aa?????a??????
??a?b????????a,b a,b,aa,ab,abb,baa,??a,b
??????
12
(No Transcript)
13
(No Transcript)
14
(No Transcript)
15
??????

• ???????????,????????????????,?????????????????????
  ? (?????????????????)?
• ?????Sa,b ,Se,a,b,aa,ab,ba,bb,aaa,aab,
• ??ab,aabb,aaabbb,,anbn,
• ????ww?S?w anbn,n1????????????
• ??a,aa,aaa,
• ????ww?S?wan,n1 ????????????
• 
  
  ?e???????
• ??? ???????

16
??????????

• ?L?(???)????,M?(???)????, ??L?M??,?,?,???????
  ??L?M???? L?M.
• ? L1 a,b,y,z M1 1,28,9 L1?M1a,b,
  y,z,1,28,9
• ??L?M????????,?? LM LMst s?L? t?M
  ? L1M1 a1,b1,y1,z1,a2,b2a9
  z9
• ?L ?e? ?e?LL? L?n???Ln LL...L
  
  
  

17
??????

• ??L? ???? L?
• L L0 ? L1 ? L2 ? ...
• L0 ?e? , Ln L Ln-1 Ln-1 L,n?1
• ??L?? ???? L,
• L L1 ? L2 ? L3 ... L LL LL
  L L ? ?e?
• ? L1 a,b,y,z M1 1,28,9
• (L1?M1)a,b, y,z,1,28,9
• (L1?M1)e,a,b, y,z,1,28,9
• aa,1a,xyz,6789st..
• L1(L1?M1)???????????????

18
PL/0????EBNF??(?P11)
VAR ABEGIN READ (A) END.
19
??????????

• ??????????
• ????????(?????????),????????????
• ????????,??????????
• ????????????
  ????
  (??)??????????????????????
  ????(???)?????????
  ????,(??????)

20
???????
21
???????

• ??G??????(VN,VT,P,S )??
• VN ???????
• VT ??????
• P ????(????)???
• S ???????????????????,
• ?????????????????
• ??VN?VT???????,?VN n VT f
• ?V??VN ? VT ,????G????????

22

• ? ??G(VN,VT,P,S)
• VN S , VT 0, 1
• P S?0S1, S?01
• S?????

23

• ??????G(VN,VT,P,S)
• VN ???,??,??
• VT a,b,c,x,y,z,0,1,,9
• Plt???gt?lt??gt
• lt???gt?lt???gtlt??gt
• lt???gt?lt???gtlt??gt
• lt??gt?a,, lt??gt?z
• lt??gt?0,, lt??gt?9
• Slt???gt

24

• ??????????G???????????,?????????
• ?1 GS?aAb
• A?ab
• A?aAb
• A?e
• ?2 GS S?aAb
• A?ab
• A?aAb
• A?e
• ?3 GS S?aAb
• A?ab aAb e

25

• ????
• ?????????????,??????
• ?????????
• ???????
• S gt AB
• A gt Ax y
• B gt z

26
????????????,?????????????

• ?????
• a?ß???G????,??v,w??v?ad,w ?ßd, ????V,d?V
• ??v?????w,?? v ? w
• ??w?????v
• ?G S?0S1, S?01
• 0S1 ?00S11
• 00S11 ?000S111
• 000S111 ?00001111
• S ?0S1

27

• lt??gt?lt???gt.
• lt???gt. ? lt??????gt lt??gt.

28
(No Transcript)
29
(No Transcript)
30
??,?????

• ???G???????L(G),????G
• ????????
• ,??S????????,?x ?VT
• ?G S?0S1, S?01
• L(G)0n1nn1

31

• ?GE E?ETT T?TFF
  F?(E)aE?ET ?TT ?FT ?aT ?aTF ?aFF
  ?aaF ?aaa?????a,,,(?)????????

32

• ? ??GS
• (1)S?aSBE
• (2)S?aBE
• (3)EB?BE
• (4)aB?ab
• (5)bB?bb
• (6)bE?be
• (7)eE?ee??aabbee???????????????????????

33

• S ?a S BE (S?aSBE)
• ?a aBEBE (S?aBE)
• ?aabEBE ( aB?ab )
• ?aabBEE ( EB?BE )
• ?aabbEE (bB?bb)
• ?aabbeE (bE?be)
• ?aabbee (eE?ee) L(G) anbnen n1

34
(No Transcript)
35

• ?????????
• ?1Lanbn am bm m,n 0
• GS AB
• A aAbe
• B aBbe

36
(No Transcript)
37

• ?????????
• ?????
• ????????????,????????.
• ???????????????????????????.
• ??? A Ay,?yltgte???????
• ?? A xA,?xltgte???????
• ?? A xAy ?x,yltgte,???????

38

• ???????????????,???????????.
• ???????????A Ay?
• A xA ?A xAy (x,yltgte)??????????????????????
  .
• ???????????????????.

39
?????

• ?L(G1)L(G2),????G1?G2?????
• ???G1AA?0R ?G2SS?0S1??
• A?01 S?01
• R?A1

40
?????

• ?????????????,Chomsky?????????
• 0???(??????)??????a?ß,??a?(VN?VT),?a??????????,
  ß?(VN?VT)
• 1???(???????)??????a?ß,??ßa, ?? S?e???
• ??????????,??????????????
• ????a1Aa2?a1ßa2,??a1?a2?ß??
• ( VN?VT )?(??V?),ß?e,A?VN??
• ???????????????????"?????"????,????A???a1?a2?
  ????,????ß??A?

41

• 2???(???????)??????a?ß,??a?VN , ß?(VN?VT)
• 3???(????)
• (1)??????????a?ß?????A?aB?A?a,??A?VN ,B?VN ,a?VT
• (2)??????????a?ß?????A?Ba?A?a,??A?VN ,B?VN ,a?VT

42
???????

• ?1?(?????)??
• ??GS
• (1)S?aSBE
• (2)S?aBE
• (3)EB?BE
• (4)aB?ab
• (5)bB?bb
• (6)bE?be
• (7)eE?ee

43
???????

• ?2?(?????)??
• ??GS S?AB
• A?BS0
• B?SA1

44
3???

• GS
• S?0A1B0
• A?0A1B0S
• B?1B10

45

• ????????
• G1I I ? lT
• I ? l
• T ? lT
• T ? dT
• T ? l
• T ? d
• ??l????,d????

???????? G2I I ?Il I ?Id
I ?l
46

• 3???(????)???
• ?A?aB?A?a ,??A?B?VN ,
• a? VT , ??aab,??
• A?aB ?A? abB ????
• A ?aD D ?bB
• A?a? A ?ab ????
• A ?aD D ?b
• ( D????????? )

47
?????

• ?????????????

0???
3???
48
????????????
49

• ????G(VN,VT,P,S),??G?????????????????(???)???????
  ?4???
• ? ??????????,????V? ?????
• ? ?????S?
• ? ??????A,????????????,?A???VN?
• ? ?????A,?n????????,????????????(????)?B1,B2,,Bn,
  ??A?B1B2,,Bn???P????????

50

• ? GS
• S?aAS
• A?SbA
• A?SS
• S?a
• A?ba

S a
A S S b A
a a b a
????aabbaa????(???)
51
??aabbaa???????
? GS S?aAS A?SbA A?SS S?a A?ba

• (1) S?aAS?aAa?aSbAa?aSbbaa?aabbaa(????)
• (2) S?aAS?aSbAS?aabAS?aabbaS?aabbaa(????)

52
?????

• GE E?ETT T?TFF
  F?(E)a??aaa ????????,???????????
• E?ET ?TT ?FT ?aT ?aTF ?aFF ?aaF
  ?aaa(????)
• E?ET ?ETF ?ETa ?EFa ?Eaa ?Taa
  ?Faa ?aaa(????)

53
???? ????

• ??(??)??????????a?ß,??a?ß???,???a????(?)????????
• ????????????
• ????????????????
• ??????????,????????
• ????

54

• ????L1nn?????????G N gtND
• N gtD
• D gt01239
• ?????,3D???,?????????
• ?33????????
• NgtNDgtDDgt3D (??????)
• NgtNDgtN3gtD3gt33 (?????)

55
?????

• GE E?ETT T?TFF F?(E)a
• ??aaa??????

56
E?ETTT?TFFF?(E)a
?????

• E?ET ?TT ?FT ?aT ?aTF ?aFF ?aaF
  ?aaa(????)
• E?ET ?ETF ?ETa ?EFa ?Eaa ?Taa ?Faa
  ?aaa(????)

• E
• E T
• T T F
• F F a
• a a

57

• ??????????????????????,????(??)?????,?????????????
  ?????????????????????(??)????

58

• ?GE E ? i
• E ? EE
• E ? EE
• E ? (E)

E E E E E i i i
E E E i E E i i
?? iii ?????????? ??1E ? EE ? EEE ? iEE
? iiE ? iii ??2E ? EE ? iE ? iEE ? iiE
?iii
59
????

• ?????????????????????,????????????,????????????
  ???????(?)??,??????????

60

• ????????????,?????????????,???????????????????
• ????????????
• GE E ? i GEE ? TET
• E ? EE T ? FTF
• E ? EE F ? (E)i
• E ? (E) ??????????

61
?????

• ??????????????????????,???????????

62

• ???????
• ?????????????????,??????????,??????????????
• ???????????????,??????,?????????????

63
?????????

• ???GS ? cAd A ? ab
  A ? a?????wcabd?????????

S S S c A d c A d a
b ????S ? cAd cAd ? cabd
64
?????????

• ???G S ? cAd A ? ab
  A ? a?????wcabd????????

S A A c a b d c
a b d c a b d
????????? cAd ? cabd S ? cAd
65
?????????

• ????????????????????.
• (1)?????????
• ??????(???,???,???,???)
• ? A?x1x2 xn ?n????,????????????.???,?????,??(
  ??????????)??,????????,?????.
• ?????(???,????)????????????????,??"???"????.

66
???G (1) S ? cAd (2) A ?
ab (3) A ? a?????wcabd????????
??????????
????????

• S
• c A d
• a

• ?S ? cAd ???(3)??A,S ? cAd ? cad??????
• w?????????????a????,????????????????d??,????????
  ????????,??????

67
???????????(1)S ? cAd (2) A ? ab (3)A ?
a?????wcabd?????????

• c a b d
• A
• c a b d

• ??cabd????,??????ab????(2),????a????(3)?a????A,???
  ????????S???.

68
?????????

• 1)???????????????????????????
• ???????????????B,??n???B?A1A2An,????????????
  ??B?
• 2)?????????????????????
• ???????????,?????????????,????????????,?????????
  

69

• ????cabd?,ab?????,?a?????????????,????????????
  ???????????????

70
??????

• ??GS
• ?????
• S aAd? A ß,??ß???aßd
• ???????A???
• ???????
• ??A ? ß,??ß???aßd???????A ?????
• ?????
• ???????????????????

71
? iii ???????????
GEE?ETT T?TFF F?(E)i ??iii

• E
• E T
• T F
• T F
• i3 ??i1 i2 i3,
  i1 i2 ,
• F i2
  i1 , i2 , i3 ?
• i1 ???? i1 , i2 ,
  i3 ??? i1

72
??????????????

• ???????????????
• ??????U?U??????????????
• ???????????????????????
• 1)????????????????????,????????????
• 2)?????????,???????????,????????????

73

• ????GS,??????????A????????,??????????1.
  A?????????
• ??S aAß,??a,ß??V
• 2. ?????A???????t?
• ?A t,??t?VT

74
????

• ?GS 1) S?Be
• 2) B?Ce D?????
• 3) B?Af C?????
• 4) A?Ae
• 5) A?e
• 6) C?Cf
• 7) D?f
• ??? 2),6),7)?????????

75
?????????e??

• ?????????????????A?e,??????e??
• ??e?????????????????????,????????????
• ??????????e????????
• ??????e??,????L????????,?L1L?e???????????,?????
  ?,?L?????????????????????,?L?e?L-e????????????
  ????????????

76
??

• ????????????????,??
• ?????????????????(????????)
• ????????????????
• 1.?????,????????
• 2.??????????

77
????

• 1.?????????,???????,??,?????????????.?????????????
  ?????.
• 2.????????????????,????????????????????????????.?
  ?????????????? ?????????????????????.
• 3.???????????????.????????????????????????????????
  ?????????????

78

• 1.????GA,??????????
• ?GA A ? 0B1C B ? 11A0BB C
  ? 00A1CC
• 2.??????,????.
• ??????,??????????, , (,)?????a???????????.

• ??GA??????0?1?????,??0?1?????.

• ??1 GE E?ETT T?TFF
  F?(E)a
• ??2 GE E?EEEE(E)a

79
PL/0????pcode???

• ?????????,????????????????????????????????????????
  PL/0???????????PL/0?????????????pcode????????

80

• PL/0???????
• PL/0 ?Pcode

PL/0????
???PL/0 ?????Pcode ????Pascal
81

• ???????????PL/0??????????PL/0???????????pcode?????
  ?????????????????????????????,???????????????

82
PL/0?????1??????

• Const P3 (????)
• Var S,R (????)
• BEGIN
• READ( R )
• WHILE R0 DO
• BEGIN
• SRR
• Write (S)
• READ(R)
• END
• END.

83
?pcode???????

• ?????8? ? LIT???????????a?????? ?
  LOD????????a???????????????,l???? ?????????
  ? STO???????????????a,l?????LOD??? ?
  CAL????????a???????????????,l????

84

• ? INT???????(????)??? ????????a???????????
  JMP???????,a??????
• ? JPC??????,???????????,??a????,????????
  OPR??????????????????????????,????????,??????????
  ???? ??,?????a?????(?? ??????)?

85
2.1.1 PL/0????????

• ??????????????????????2.1?????????????????????,???
  ??????????????????,??????????,??????????,?????????
  ???????

86
???????
87
(No Transcript)
88
(No Transcript)
89
(No Transcript)
90
(No Transcript)
91
(No Transcript)