[??] Chomsky?????

1
??????????

• ?10?(??)
• ????? ????
• ?? ?

2
????????

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

3
?? Chomsky?????

• Noam Chomsky?????????
• Type 0
• Type 1
• Type 2
• Type 3
• (1??? ???????????)

4
????? ????

• ????? (N, T, P, S)
• N ??????????????(nonterminal symbol)????
• T ?N????????????????????(terminal symbol)????
• P??(N ? T) N (N ? T) ? (N ?
  T)????????????(production)??????????(rewriting
  rule)????
• S?N?????????(start symbol)????

5
????? ????

• u ? v ???????u????????????????( ? ? u ? ??? ?
  , ? ? (N ? T) ???)? ???????u?v????????( ? ?
  v ? ?????)?
• ??? ? ? ? ????
• x ? T S ? x ?? (N, T, P, S) ????????????

6
Type 3

• ????? (Right-linear grammar)
• ?????????
• X ? xY ??? X ? x
• ????????????
• X, Y ? N
• x ? T

Type3?????????
7
Type 2

• ?????? (Context free grammar)
• ?????????
• X ? ?
• ????????????
• X ? N
• ? ? (T ? N)

Type 2?BNF?????
8
Type 1

• ?????? (Context sensitive grammar)
• ?????????
• ?X? ? ? ? ?
• ????????????
• X ? N
• ?, ? ? (T ? N)
• ? ? (T ? N)

9
Type 0

• ????
• ?????
• ? ? ?
• ???????????? ?, ? ??
• ?, ? ? ( T ? N )

10
????? BNF??

• Backus Normal Form (Backus Naur Form)
• ????????????????
• ????????????????? ????????????
• (?) ?????? G (T, N, S, P)
• N S
• T ( , )
• P S ? ( ), S ? (S), S ? SS
• ??BNF?????
• ltparengt ( ) (ltparengt) ltparengt
  ltparengt
• ?????

11
????? ??BNF??

• () ???????????????BNF???

12
?1?

• ?????BNF???????????. ????BNF???????????.
• ?????????????

lt????gt lt???gt
10010111001011100010100011011110
13
??1

• BNF??
• lt????gt lt???gt lt???gtlt????gt
• lt???gt 0 1
• ??BNF?? (?)
• lt????gt (0 1)
• ?????????(e)???????
• BNF??
• lt????gt e lt???gtlt????gt
• lt???gt 0 1
• ??BNF?? (?)
• lt????gt (0 1)

14
?2?

• a????(0????)???????BNF?????BNF????????

aa, aaaa, aaaaaa, aaaaaaaa, aaaaaaaaaa,
15
??2

• BNF??
• ltevenagt aa ltevenagt aa
• ??BNF??
• ltevenagt (aa)
• ????????????????
• BNF??
• ltevenagt e ltevenagt aa
• ??BNF??
• ltevenagt (aa)

16
?3?

• ?????( )?????????????????(??? . ???)
  ???????????????????????BNF?????????????ltnatgt??????
  ??????????

17
??3

• BNF??
• ltlistgt ( )
• ( ltnatgt . ltlistgt )

18
?4?

• ????????????????BNF????????

(), (()), ()(), ()(()), ()((()))
19
??4

• BNF??
• ltparengt ( )
• ( ltparengt )
• ltparengtltparengt
• ????e???????
• ltparengt e
• ( ltparengt )
• ltparengtltparengt

20
?5?

• ??????????3????????????????????BNF????????

(), (()), ()(), ()(()),
()((())) ???????3???????????
21
??5

• BNF??
• ltparengt ltparen1gt
• ( ltparen1gt )
• ltparengt ltparengt
• ltparen1gt ( ) ltparen1gt ltparen1gt
• ????e???????
• ltparengt e ltparen1gt
• ( ltparen1gt ) ltparengt
  ltparengt

22
?6?

• ?5?????????????????

23
??6

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

24
????
?????????????????????(graphical?)??
lt??gt 0 1 lt?gt lt??gt (and or)
lt??gt lt??gt
??
1
0
?
??
??
??
and

or
25
?7?

• ?????????????,???????????????????????????????.???
  ,???a, b, ,z, A, B, ,Z?????,???0,1,,9????
  ???????.

? A3 ? BB ? A ? 9 ? 99
??
??

26
?8?

• ???????????????????,???????????????????????,??????
  ?????????????,???a, b , ???, z,A, B, ???,
  Z????,???0, 1, ???, 9????????

? A ? name ? B740 ? C6H6 ? 11PM
??
??
??
27
?????????????
?????????? --- ????????????????????? ???????????
?????????????????(????)???????????????????????????
? ?????????????????????????????????????
28
?????????????

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

29
?????????????

• ????????????
• ?????
• Chomsky????????????
• ????????
• ????????????????
• ?????
• ??????????????????????(??)??????
• ??????(denotational semantics)
• ??????(axiomatic semantics)
• ??????(operational semantics)

30
?????????????

• ?????
• ??????(??????)????BNF????????????
• ?????????????????????????????????????
• ???????????????
• ????????
• ????????????????????????????????????
• --- ???????????????????????????????????????(????(
  ???????))????

31
?????????????
????? ???????????????(???????)??????(??????(??????
)???)??????????????????????????????????????????
?????? ???????????????????? ?????
???????????????