Introduction to Languages and Grammars

Transcription

1 Introduction to Lnguges nd Grmmrs

2 lphbets nd Lnguges n lphbet is finite non-empty set. Let nd T be lphbets. T = { s t s ε, t ε T } (We ll often write T for T.) λ = empty string, string of length one 0 = {λ } 1 = n = (n-1), n > 1 + = 1 U 2 U 3 U... * = 0 U + lnguge L over n lphbet is subset of *.

3 How Mny Lnguges re There? How mny lnguges over prticulr lphbet re there? Uncountbly infinitely mny! Then, ny finite method of describing lnguges cn not include ll of them. Forml lnguge theory gives us techniques for defining some lnguges over n lphbet.

4 Why should I cre bout? Concepts of syntx nd semntics used widely in computer science: Bsic compiler functions Development of computer lnguges xploring the cpbilities nd limittions of lgorithmic problem solving

5 Methods for Defining Lnguges Grmmr Rules for defining which strings over n lphbet re in prticulr lnguge utomton (plurl is utomt) mthemticl model of computer which cn determine whether prticulr string is in the lnguge

6 Definition of Grmmr grmmr G is 4 tuple G = (N, Σ, P, ), where N is n lphbet of nonterminl symbols Σ is n lphbet of terminl symbols N nd Σ re disjoint is n element of N; is the strt symbol or initil symbol of the grmmr P is set of productions of the form α -> β where α is in (N U Σ)* N (N U Σ)* β is in (N U Σ)*

7 Definition of Lnguge Generted by Grmmr We define => by γ α δ => γ δ β if α -> β is in P, nd γ nd δ re in (N U Σ)* =>+ is the trnsitive closure of => =>* is the reflexive trnsitive closure of => The lnguge L generted by grmmr G = (N, Σ, P, ), is defined by L = L(G) = { x *=> x nd x is in Σ* }

8 Clsses of Grmmrs (The Chomsky Hierrchy) Type 0, Phrse tructure (sme s bsic grmmr definition) Type 1, Context ensitive (1) α -> β where α is in (N U Σ)* N (N U Σ)*, β is in (N U Σ)+, nd length(α) length(β) (2) γ δ -> γ β δ where is in N, β is in (N U Σ) +, nd γ nd δ re in (N U Σ)* Type 2, Context Free -> β where is in N, β is in (N U Σ) * Liner -> x or -> x B y, where nd B re in N nd x nd y re in Σ* Type 3, Regulr xpressions (1) left liner -> B or ->, where nd B re in N nd is in Σ (2) right liner -> B or ->, where nd B re in N nd is in Σ

9 Comments on the Chomsky Hierrchy (1) Definitions (1) nd (2) for context sensitive re equivlent. Definitions (1) nd (2) for regulr expressions re equivlent. If grmmr hs productions of ll three of the forms described in definitions (1) nd (2) for regulr expressions, then it is liner grmmr. ch definition of context sensitive is restriction on the definition of phrse structure. very context free grmmr cn be converted to context sensitive grmmr with stisfies definition (2) which genertes the sme lnguge except the lnguge generted by the context sensitive grmmr cnnot contin the empty string λ. The definition of liner grmmr is restriction on the definition of context free. The definitions of left liner nd right liner re restrictions on the definition of liner.

10 Comments on the Chomsky Hierrchy very lnguge generted by left liner grmmr cn be generted by right liner grmmr, nd every lnguge generted by right liner grmmr cn be generted by left liner grmmr. very lnguge generted by left liner or right liner grmmr cn be generted by liner grmmr. very lnguge generted by liner grmmr cn be generted by context free grmmr. Let L be lnguge generted by context free grmmr. If L does not contin λ, then L cn be generted by context sensitive grmmr. If L contins λ, then L-{λ} cn be generted by context sensitive grmmr. very lnguge generted by context sensitive grmmr cn be generted by phrse structure grmmr.

11 xmple : Left Liner Grmmr for Identifiers -> -> b -> 1 -> 2 -> -> b => => 1 => 1 => 2 => b 2 => 1 b 2 => 1 b 2

12 xmple : Right Liner Grmmr for Identifiers -> T -> b T -> -> b T -> T T -> b T T -> 1 T T -> 2 T T -> T -> b T -> 1 T -> 2 => => T => 1 => T => 1 T => 1 b T => 1 b 2

13 xmple: Right Liner Grmmr for { n b m c p n, m, p > 0} -> -> -> b B B -> b B B -> c C B -> c C -> c C C -> c => => => => b B => b c C => b c c

14 xmple : Liner Grmmr for { n b n n >0 } -> b -> b => b => b b => b b b => b b b b

15 xmple : Liner Grmmr for { n b m c m d n n > 0} (Context Free Grmmr) -> b -> T b T -> c T d T -> c d => b => b b => T b b b => c T d b b b => c c d d b b b

16 nother xmple : Context Free Grmmr for { n b n c m d m n > 0} -> R T R -> R b R -> b T -> c T d T -> c d => R T => R b T => R b b T => b b b T => b b b c T d => b b b c c d d

17 Context Free Grmmr for xpressions -> -> + T -> - T -> T T -> T * F T -> T / F T -> F F -> ( ) F -> F -> b F -> c F -> d F -> e => => + T => - T + T => T - T + T => F - T + T => - T + T => - T * F + T => - F * F + T => - b * F + T => - b * c + T => - b * c + F => - b * c - d

18 Context ensitive Grmmr for { n b n c n n >0} -> B C -> B C B -> b b B -> b b C B -> B C b C -> b c c C -> c c => B C => B C B C => b C B C => b B C C => b b C C => b b c C => b b c c

19 The Chomsky Hierrchy nd the Block Digrm of Compiler Type 3 Type 2 ource lnguge cnner progrm tokens Prser tree Intermedite Code Genertor Optimizer Int. code Code Genertor Object lnguge progrm Type 1 ymbol Tble Mnger rror Hndler rror messges ymbol Tble

20 utomt Turing mchine (Tm) Liner bounded utomton (lb) 2-stck pushdown utomton (2pd) (1-stck) pushdown utomton (pd) 1 turn pushdown utomton finite stte utomton (fs)

21 Recursive Definition Primitive regulr expressions: Given regulr expressions r 1 nd, r 2 λ, α r r r * r 1 ( r ) 1 r 2 2 re regulr expressions

22 xmple ( + b) * L (( + b) *) = L (( + b) ) L( *) ( b) L( *) = L + = = = = ( L( ) L( b) ) ( L( ) )* ({ } { b} ) { } ( )* {, b}{ λ,,,,... } {,,,..., b, b, b,... }

23 xmple ( + b) * L (( + b) *) = L (( + b) ) L( *) ( b) L( *) = L + = = = = ( L( ) L( b) ) ( L( ) )* ({ } { b} ) { } ( )* {, b}{ λ,,,,... } {,,,..., b, b, b,... }

24 xmple Regulr expression r = ( ) *( bb) * b L 2n 2 m ( r) = { b b : n, m 0}

25 xmple Regulr expression r = ( 0 + 1)*00 (0 + 1) * L (r) = { ll strings with t lest two consecutive 0 }

26 xmple Regulr expression r = ( 1+ 01)*(0 + λ) L (r) = { ll strings without two consecutive 0 }

27 quivlent Regulr xpressions Definition: r1 r2 Regulr expressions nd re equivlent if L ( r1 ) = L( r2 )

28 xmple L = { ll strings without two consecutive 0 } r1 = (1 + 01)*(0 + λ) r2 = (1*011*)*(0 + λ ) + 1*(0 + λ) L r ) = L( r ) = ( 1 2 L r1 nd r2 re equivlent regulr expr.

29 Liner Grmmrs Grmmrs with t most one vrible t the right side of production xmples: λ b b b λ

30 Non-Liner Grmmr Grmmr : G λ b b L( G) = { w: n ( w) n ( w)} = b Number of in string w

31 nother Liner Grmmr G Grmmr : B λ B b n n L( G) = { b : n 0}

32 Right-Liner Grmmrs ll productions hve form: xb or x xmple: b string of terminls

33 Left-Liner Grmmrs ll productions hve form: Bx or x xmple: b b B string of terminls B

34 Regulr Grmmrs regulr grmmr is ny right-liner or left-liner grmmr xmples: G 1 G 2 b b b B B

35 Observtion Regulr grmmrs generte regulr lnguges xmples: G 1 G 2 b B b b B L ( G 1 ) = ( b) * L ( G2) = b( b)*

36 Closure under lnguge opertions Theorem. The set of regulr lnguges is closed under the ll the following opertions. In other words if L 1 nd L 2 re regulr, then so is: Union: L 1 L 2 Intersection: L 1 L 2 Complement: L 1c = Σ* \ L 1 Difference: L 1 \ L 2 Conctention: L 1 L 2 Kleene str: L 1 *

37 Regulr expressions versus regulr lnguges We defined regulr lnguge to be one tht is ccepted by some DF (or NF). We cn prove tht lnguge is regulr by this definition if nd only if it corresponds to some regulr expression. Thus, 1) Given DF or NF, there is some regulr expression to describe the lnguge it ccepts 2) Given regulr expression, we cn construct DF or NF to ccept the lnguge it represents

38 ppliction: Lexicl-nlyzers nd lexicl-nlyzer genertors Lexicl nlyzer: Input: Chrcter string comprising computer progrm in some lnguge Output: string of symbols representing tokens elements of tht lnguge x in C++ or Jv : Input: if (x == 3) y = 2; Output (sort of): if-token, expression-token, vriblenme-token, ssignment-token, numeric-constnt token, sttement-seprtor-token.

39 Lexicl-nlyzer genertors Input: list of tokens in progrmming lnguge, described s regulr expressions Output: lexicl nlyzer for tht lnguge Technique: Builds n NF recognizing the lnguge tokens, then converts to DF.

40 Regulr xpressions: pplictions nd Limittions Regulr expressions hve mny pplictions: pecifiction of syntx in progrmming lnguges Design of lexicl nlyzers for compilers Representtion of ptterns to mtch in serch engines Provide n bstrct wy to tlk bout progrmming problems (lnguge correpsonds to inputs tht produce output yes in yes/no progrmming problem) Limittions There re lots of resonble lnguges tht re not regulr hence lots of progrmming problems tht cn t be solved using power of DF or NF

41 CFL Context-Free Lnguges n b n R { } { ww } Regulr Lnguges

42 Context-Free Lnguges Context-Free Grmmrs Pushdown utomt stck utomton

43 xmple context-free grmmr G: λ b derivtion: b bb bb

44 λ b L(G) = n n { b : n 0} Describes prentheses: (((( ))))

45 xmple context-free grmmr G: bb λ derivtion: bb bb

46 bb λ L (G) = { ww R : w {, b}*}

47 xmple context-free grmmr G: b λ derivtion: b b b

48 context-free grmmr G: b λ derivtion: b b bb bb

49 Definition: Context-Free Lnguges L lnguge is context-free if nd only if there is context-free grmmr G with L = L(G)

50 Derivtion Order 1. B B Bb Leftmost derivtion: λ 3 5. B λ BBBBbb 4 5 Rightmost derivtion: 1 4 B 5 Bb 2 b 3 b b

51 B bbb B λ Leftmost derivtion: B bbbb bbb bbbbbb bbbbb bbbb Rightmost derivtion: B bbb bb bbbbb bbbb

52 B λ B Bb λ B B Bb B B b

53 B λ B Bb λ B B Bb Bb B B b λ

54 B λ B Bb λ B B Bb Bb b Derivtion Tree B B b λ λ

55 B λ B Bb λ B B Bb Bb b Derivtion Tree B yield B b λλ = b b λ λ

56 ometimes, derivtion order doesn t mtter Leftmost: B B B Bb b Rightmost: B Bb b b b me derivtion tree B B b λ λ

57 ) ( * leftmost derivtion

58 ) ( leftmost derivtion

59 + ( ) + Two derivtion trees + +

60 The grmmr is mbiguous: + ( ) string + hs two derivtion trees + +

62 In other words: context-free grmmr is mbiguous w L(G) G if some string hs: two or more leftmost derivtions (or rightmost)

63 = =

65 We fix the mbiguous grmmr: + ( ) New non-mbiguous grmmr: + T T T T F T F F F ( )

68 The grmmr G: + T T T T F T F F F ( ) is non-mbiguous: very string hs w L(G) unique derivtion tree

70 If expr1 then if expr2 then stmt1 else stmt2 IF_TMT if expr1 then TMT if expr2 then stmt1 else stmt2 IF_TMT if expr1 then TMT else stmt2 if expr2 then stmt1

72 The string n b n c n hs two derivtion trees c 2

73 implifiction of Context Free Grmmr

75 ubstitution Rule B B bbc b ubstitute B bbc B b bbc bbc bc quivlent grmmr

76 In generl: xbz B y 1 ubstitute B y 1 xbz xy1z equivlent grmmr

89 In generl: contins only terminls if K xy K w w L(G) then vrible is useful otherwise, vrible is useless

90 production is useless x if ny of its vribles is useless b λ Productions Vribles useless useless useless useless B C useless useless C D useless

92 First: find ll vribles tht cn produce strings with only terminls Round 1: C {, B} B C Cb Round 2: {, B, }

93 Keep only the vribles tht produce terminl symbols: {, B, } (the rest vribles re useless) C B C Cb B Remove useless productions

94 econd: Find ll vribles rechble from Use Dependency Grph B B not rechble

95 Keep only the vribles rechble from (the rest vribles re useless) Finl Grmmr B Remove useless productions

100 Introduce vribles for terminls: T, T, T b c BT B B b c B T T T T c T b T b b T c c

101 Introduce intermedite vrible: c T b T T T B T T T BT c b c b c T b T T T B T T T BT V V c b c b 1 1 V 1

102 Introduce intermedite vrible: c T b T T T B T T V V T BT V V c b c b V 2 c T b T T T B T T T BT V V c b c b 1 1

103 Finl grmmr in Chomsky Norml Form: c T b T T T B T T V V T BT V V c b c b c B b B Initil grmmr

106 Then, for every symbol : dd production T In productions: replce with T New vrible: T

107 Replce ny production C C 1 2 L C n with V 1 K C V 1 C 2 1 V 2 V n 2 C n 1 C n K New intermedite vribles: V1, V2,, V n 2

114 xmple Lnguge Grmmr L = 1 { n b n } 1 1b λ L = 2 R { ww } 2 2 b2b λ Union L = { n b n } { ww R } 1 2

115 In generl: For context-free lnguges with context-free grmmrs nd strt vribles L 1, L 2 G 1, G 2 1, 2 The grmmr of the union hs new strt vrible nd dditionl production 1 L 2 L 1 2

117 xmple Lnguge Grmmr L = 1 { n b n } 1 1b λ L = 2 R { ww } 2 2 b2b λ L = { n b n Conctention }{ ww R } 1 2

118 In generl: For context-free lnguges with context-free grmmrs nd strt vribles L 1, L 2 G 1, G 2 1, 2 The grmmr of the conctention hs new strt vrible nd dditionl production 1 2 L 1 L 2

121 In generl: For context-free lnguge with context-free grmmr nd strt vrible L G The grmmr of the str opertion hs new strt vrible 1 nd dditionl production 1 1 L* λ

123 xmple } { 1 m n n c b L = λ λ cc C b C Context-free: } { 2 m m n c b L = λ λ bbc B B Context-free: } { 2 1 n n n c b L L = NOT context-free Intersection

125 } { n n n c b L L L L = = NOT context-free xmple } { 1 m n n c b L = λ λ cc C b C Context-free: } { 2 m m n c b L = λ λ bbc B B Context-free: Complement

126 The intersection of context-free lnguge nd regulr lnguge is context-free lnguge L1 L2 context free regulr L1 L 2 context-free

128 The Chomsky Hierrchy Non-recursively enumerble Recursively-enumerble Recursive Context-sensitive Context-free Regulr

129 Who is Nom Chomsky nywy? Philosopher of Lnguges Professor of Linguistics t MIT Constructed the ide tht lnguge ws not lerned behvior, but tht it ws cognitive nd innte; versus stimulusresponse driven In n effort to explin these theories, he developed the Chomsky Hierrchy

130 Chomsky Hierrchy Lnguge Grmmr Mchine xmple Regulr Grmmr Deterministic or Regulr Lnguge Right-liner grmmr Left-liner grmmr Nondeterministic Finite-stte cceptor * Context-free Lnguge Context-free grmmr Nondeterministic Pushdown utomton n b n Contextsensitive Context-sensitive grmmr Liner-bounded utomton n b n c n Recursively enumerble Unrestricted grmmr Turing mchine ny computble function

131 Chomsky Hierrchy Comprises four types of lnguges nd their ssocited grmmrs nd mchines. Type 3: Regulr Lnguges Type 2: Context-Free Lnguges Type 1: Context-ensitive Lnguges Type 0: Recursively numerble Lnguges These lnguges form strict hierrchy