Plan for Today and Beginning Next week (Lexical Analysis)

Transcription

1 Plan for Today and Beginning Next week (Lexical Analysis) Regular Expressions Finite State Machines DFAs: Deterministic Finite Automata Complications NFAs: Non Deterministic Finite State Automata From Regular Expressions to NFAs From NFAs to DFAs CS453 Lecture Regular Expressions and Transition Diagrams 1

2 Structure of a Typical Compiler Analysis character stream lexical analysis Synthesis IR code generation tokens words IR syntactic analysis optimization AST sentences IR annotated AST semantic analysis code generation target language interpreter CS453 Lecture Regular Expressions and Transition Diagrams 2

3 Tokens for Example MeggyJava program import meggy.meggy; class PA3Flower { pulic static void main(string[] whatever){ } { } // Upper left petal, clockwise Meggy.setPixel( (yte)2, (yte)4, Meggy.Color.VIOLET ); Meggy.setPixel( (yte)2, (yte)1, Meggy.Color.VIOLET); Tokens: Symol(IMPORT,null), Symol(MEGGY,null), Symol(SEMI,null), Symol(CLASS,null), Symol(ID, PA3Flower ), Symol(LBRACE,null), CS453 Lecture Regular Expressions and Transition Diagrams 3

4 Aout The Slides on Languages and Finite Automata Slides Originally Developed y Prof. Costas Busch (2004) Many thanks to Prof. Busch for developing the original slide set. Adapted with permission y Prof. Dan Massey (Spring 2007) Susequent modifications, many thanks to Prof. Massey for CS 301 slides Adapted with permission y Prof. Michelle Strout (Spring 2011) Adapted for use in CS 453 Adapted y Wim Bohm( added regular expr à NFA à DFA, Spr2012)

5 Languages A language is a set of strings (sometimes called sentences) String: A finite sequence of letters Examples: cat, dog, house, Defined over a fixed alphaet: Σ = { a,, c,, z}

6 Empty String A string with no letters: ε (sometimes λ is used) Oservations: ε = 0 εw = wε = w εaa = aaε = aa

7 Regular Expressions Regular expressions descrie regular languages You have proaly seen them in OSs / editors Example: (a ()(c)) * descries the language L((a ()(c))*) = ε,c,aa,ac,ca,... { }

8 Recursive Definition for Specifying Regular Expressions Primitive regular expressions: where α Σ, some alphaet, ε, α Given regular expressions r 1 and r 2 r 1 r 2 r 1 r 2 r 1 * Are regular expressions ( r ) 1

9 Regular operators choice: A B a string from L(A) or from L(B) concatenation: A B a string from L(A) followed y a string from L(B) repetition: A* 0 or more concatenations of strings A + grouping: ( A ) from L(A) 1 or more Concatenation has precedence over choice: A B C vs. (A B)C More syntactic sugar, used in scanner generators: [ac] means a or or c [\t\n ] means ta, newline, or space [a-z] means,c,, or z CS453 Lecture Regular Expressions and Transition Diagrams 9

10 Example Regular Expressions and Regular Definitions Regular definition: name : regular expression name can then e used in other regular expressions Keywords print, while Operations: +, -, * Identifiers: let : [a-za-z] // chose from a to z or A to Z dig : [0-9] id : let (let dig)* Numers: dig + = dig dig* CS453 Lecture Regular Expressions and Transition Diagrams 10

11 Finite Automaton Input String Output Finite Automaton String

12 Finite Accepter Input String Output Finite Automaton Accept or Reject

13 State Transition Graph aa -Finite Accepter a a a a q 5 q0 q3 q4 initial state state transition final state accept

14 Initial Configuration Input String a a q 0 a a a a q 5 q3 q4

15 Reading the Input a a a a a a q 5 q0 q3 q4

16 a a a a a a q 5 q0 q3 q4

17 a a a a a a q 5 q0 q3 q4

18 a a a a a a q 5 q0 q3 q4

19 Input finished a a a a a a q 5 q0 q3 q4 Output: accept

20 String Rejection a a q 0 a a a a q 5 q3 q4

21 a a a a a a q 5 q0 q3 q4

22 a a a a a a q 5 q0 q3 q4

23 a a a a a a q 5 q0 q3 q4

24 Input finished a a Output: a a a a q 5 q0 q3 q4 reject

25 The Empty String ε q 0 a a a a q 5 q3 q4

26 ε q 0 a a a a q 5 q3 q4 Output: reject Would it e possile to accept the empty string?

27 Another Example a a a a, q0

28 a a a a, q0

29 a a a a, q0

30 a a a a, q0

31 Input finished a a a Output: accept a, q0

32 Rejection a a a, q0

33 a a a, q0

34 a a a, q0

35 a a a, q0

36 Input finished a Which strings are accepted? a a, q0 Output: reject

37 Formalities Deterministic Finite Automaton (DFA) ( Q Σ δ q F) M =,,,, 0 Q Σ δ q 0 F : set of states : input alphaet : transition function : initial state : set of final (accepting) states

38 Input Alphaet Σ Σ = { } a a a a q 5 q0 q3 q4

39 Set of States Q Q = { q, q q q q q } 0 1, 2, 3, 4, 5 a a a a q 5 q0 q3 q4

40 Initial State q0 q 0 a a a a q 5 q3 q4

41 Set of Final States F F = { } q 4 a a a a q0 q3 q 5 q 4

42 Transition Function δ δ : Q Σ Q a a a a q 5 q0 q3 q4

43 δ ( q ) 0, a = q 1 a a a q a q0 1 q 5 q3 q4

44 δ ( q ) 0, = q 5 q 0 a a a a q 5 q3 q4

45 δ ( q ) 2, = q 3 a a a a q 5 q0 q3 q4

46 Transition Function / tale δ a q q 0 q 1 q 2 q 3 5 q5 q q5 3 q q4 5 δ q 4 q 5 q 5 q 5 q 5 q 5 a a a a q 5 q0 q3 q4

47 Complications 1. "1234" is an NUMBER ut what aout the 123 in 1234 or the 23, etc. Also, the scanner must recognize many tokens, not one, only stopping at end of file. 3. "if" is a keyword or reserved word IF, ut "if" is also defined y the reg. exp. for identifier ID. We want to recognize IF. 4. We want to discard white space and comments. 5. "123" is a NUMBER ut so is "235" and so is "0", just as "a" is an ID and so is "cd, we want to recognize a token, ut add attriutes to it. CS453 Lecture Regular Expressions and Transition Diagrams 47

48 Complications 1 1. "1234" is an NUMBER ut what aout the 123 in 1234 or the 23, etc. Also, the scanner must recognize many tokens, not one, only stopping at end of file. So: recognize the largest string defined y some regular expression, only stop getting more input if there is no more match. This introduces the need to reconsider a character, as it is the first of the next token e.g. fname(cd ); would e scanned as ID OPEN ID COMMA ID CLOSE SEMI EOF scanning fname would consume (, which would e put ack and then recognized as OPEN CS453 Lecture Regular Expressions and Transition Diagrams 48

49 Complication 2 2. "if" is a keyword or reserved word IF, ut "if" is also defined y the reg. exp. for identifier ID, we want to recognize IF, so Have some way of determining which token ( IF or ID ) is recognized. This can e done using priority, e.g. in scanner generators an earlier definition has a higher priority than a later one. By putting the definition for IF efore the definition for ID in the input for the scanner generator, we get the desired result. What aout the string ifyouleavemenow? CS453 Lecture Regular Expressions and Transition Diagrams 49

50 Complication 3 3. we want to discard white space and comments and not other the parser with these. So: in scanner generators, we can specify, using a regular expression, white space e.g. [\t\n ] and return no token, i.e. move to the next specify comments using a (NASTY) regular expression and again return no token, move to the next CS453 Lecture Regular Expressions and Transition Diagrams 50

51 Complication 4 4. "123" is a NUMBER ut so is "235" and so is "0", just as "a" is an ID and so is "cd, we want to recognize a token, ut add attriutes to it. So, Scanners return Symols, not tokens. A Symol is a (token, tokenvalue) pair, e.g. (NUMBER,123) or (ID,"a"). Often more information is added to a symol, e.g. line numer and position (as we will do in MeggyJava) CS453 Lecture Regular Expressions and Transition Diagrams 51

52 (Non) Deterministic Finite State Automata A Deterministic Finite State Automaton (DFA) has disjoint character sets on its edges, i.e. the choice which state is next is deterministic. A Non-deterministic Finite State Automaton (NFA) does NOT, i.e. it can have character sets on its edges that overlap (non empty intersection), and empty sets on the some edges (laeled ε ). NFAs are used in the translation from regular expressions to FSAs. E.g. when we comine the reg. exp for IF with the reg.exp for ID y just merging the two Transition graphs, we would get an NFA. NFAs are a first step in creating a DFA for a scanner. The NFA is then transformed into a DFA. CS453 Lecture Regular Expressions and Transition Diagrams 52

53 From regular expressions to NFAs regexp simple letter a empty string AB concat the NFAs A a ε accept state of the NFA for A B A B split merge them ε A ε ε ε B ε A* uild a loop A CS453 Lecture Regular Expressions and Transition Diagrams 53

54 The Prolem DFAs are easy to execute (tale driven interpretation) NFAs are easy to uild from reg. exps, ut hard to execute we would need some form of guessing, implemented y ack tracking To uild a DFA from an NFA we avoid the ack track y taking all choices in the NFA at once, a move with a character or ε gets us to a set of states in the NFA, which will ecome one state in the DFA. We keep doing this until we have exhausted all possiilities. This mechanism is called transitive closure (This ends ecause there is only a finite set of susets of NFA states. How many are there? ) CS453 Lecture Regular Expressions and Transition Diagrams 54

55 Example IF and ID let : [a-z] dig : [0-9] tok : if id if : i f id : let (let dig)* CS453 Lecture Regular Expressions and Transition Diagrams 55

56 Example: NFA for IF and ID 0 ε ε 1 i f IF a-z 2 3 ε ε a-z ε ID IF has priority over ID. From 0, with ε we can get to states 1 and 4 let : [a-z] dig : [0-9] tok : if id if : i f id : let (let dig)* this is called an ε-closure We can now simulate the ehavior of the NFA and uild a tale for the DFA making character moves plus ε-closures CS453 Lecture Regular Expressions and Transition Diagrams 56

57 NFA simulation scanning in 0 ε a-z ε ε ε 1 a-z i f IF 2 3 ID ε DFAstate NFAstates Move Next 0 0,1,4 i 2,5,8,6 1 2,5,6,8 n 6,7,8 Only one of the states in 6,7,8 is an accepting state, an ID accepting state, so in is an ID CS453 Lecture Regular Expressions and Transition Diagrams 57

58 NFA simulation scanning if 0 ε ε 1 a-z ε ε a-z i f IF 2 3 ε ID DFAstate NFAstates Move Next 0 0,1,4 i 2,5,6,8 1 2,5,6,8 f 3,6,7,8 Two of the states in 3,6,7,8 are accepting, an IF accepting state (3) and an ID accepting state (8), IF has priority over ID, so if is an IF CS453 Lecture Regular Expressions and Transition Diagrams 58

59 Definitions: edge(s,c) and closure edge(s,c): the set of all NFA states reachale from state s following an edge with character c closure(s): the set of all states reachale from S with no chars or ε T=S closure(s) = T = S ( repeat T =T; forall s in T { T =T; } until T ==T T = T ' ( s T ' s T edge(s,ε)) edge(s,ε)) This transitive closure algorithm terminates ecause there is a finite numer of states in the NFA CS453 Lecture Regular Expressions and Transition Diagrams 59

60 DFAedge and NFA Simulation Suppose we are in state DFA d = {s i, s k,s l } By moving with character c from d we reach a set of new NFA states, call these DFAedge(d,c), a new or already existing DFA state DFAedge(d, c) = closure( NFA simulation: let the input string e c 1 c k d=closure({s1}) // s 1 the start state of the NFA for i from 1 to k d = DFAedge(d,c i ) s d edge(s, c)) CS453 Lecture Regular Expressions and Transition Diagrams 60

61 Constructing a DFA with closure and DFAEdge state d 1 = closure(s 1 ) the closure of the start state of the NFA make new states y moving from existing states with a character c, using DFAEdge(d,c); record these in the transition tale make accepts in the transition tale, if there is an accepting state in d, decide priority if more than one accept state. Instead of characters we use non-overlapping (DFA) character classes to keep the tale manageale. CS453 Lecture Regular Expressions and Transition Diagrams 61

62 NFA to DFA (let s uild it) i f 2 3 IF 1 a-z ε ε ε a-z ID ε CS453 Lecture Regular Expressions and Transition Diagrams 62

63 NFA to DFA 1 i a-z ε f 2 3 ε ε a-z IF ID ε 1: 1,4 2: i 2,5,6,8 3: ID 3,6,7,8 a-h j-z ID 5: 5,6,8 f a-e g-z 0-9 a-z 0-9 a-z 0-9 a-z 0-9 IF 4: 6,7,8 ID CS453 Lecture Regular Expressions and Transition Diagrams 63

64 The transition tale for IF ID p NFAstates(p) i f a-h a-e,g-z a-z,0-9 ACPT j-z {1,4} {2,5,6,8} {5,6,8} 2 {2,5,6,8} {3,6,7,8} {6,7,8} ID 3 {3,6,7,8} {6,7,8} IF 4 {6,7,8} {6,7,8} ID 5 {5,6,8} {6,7,8} ID CS453 Lecture Regular Expressions and Transition Diagrams 64

65 Suggested Exercise Build an NFA and a DFA for integer and float literals dot:. dig: [0-9] int-lit: dig + float-lit: dig* dot dig+ CS453 Lecture Regular Expressions and Transition Diagrams 65