Jianguo Lu 1 03-60-214: regular expression and automata.

22
Jianguo Lu 1 03-60-214: regular expression and automata

Transcript of Jianguo Lu 1 03-60-214: regular expression and automata.

Page 1: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu1

03-60-214: regular expression and automata

Page 2: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu2

Try RegexTester

• Running at course web site as an applet;– http://cs.uwindsor.ca/~jlu/214/regex_tester.htm

• Write regular expressions and try the match(), find() methods;

• Try the string 3314 instead of 3.14

Page 3: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu3

Try FSM simulator

• Run the simulator – The java code can be downloaded at

• http://cs.uwindsor.ca/~jlu/214/fsm.zip

– Unzip the zip file • >unzip fsm.zip

– Go to the directory fsmsim_bgm/classes– Run the java program: >java FSM

• Define the FSM in the text file;– The text files are in fsm-sources

• Generate the transition diagram;– Machine/new machine

• Run the simulator and observe how strings are recognized.

Page 4: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu4

• select “save target as”

Page 5: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu5

Construct and run a dfa from a text file

Page 6: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu6

NFA //Type(a|b)*abb Fig 3. 23 in dragon booka b // input alphabetq0 q1 q2 q3 // Machine statesq0 // the initial stateq3 // final stateq0 b q0 // transitions: input state, input

symbol, output stateq3 b q0q1 a q1q2 a q1q3 a q1q0 a q1 q1 b q2 q2 b q3end

Page 7: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu7

Page 8: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu8

Page 9: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu9

Page 10: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu10

Construct a dfa in GUI

Page 11: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu11

Page 12: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu12

JFLAP: RENFADFAm. DFA

Page 13: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu13

Page 14: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu14

Page 15: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu15

Page 16: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu16

Page 17: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu17

Page 18: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu18

Page 19: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu19

Page 20: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu20

Page 21: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu21

Page 22: Jianguo Lu 1 03-60-214: regular expression and automata.

Jianguo Lu22