25
CS3331 Mid-term Review (Regular Language) Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

  • Upload
    others

  • View
    5

  • Download
    0

Embed Size (px)

Citation preview

Page 1: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

CS3331 Mid-term Review (Regular Language)

Yiwei Li

Department of Computer Science

University of Western Ontario

October 28, 2017

Page 2: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017
Page 3: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

Outline

- Regular expression to FSM- FSM to Regular expression- NDFSM to DFSM- MinDFSM- Pumping theorem

Page 4: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

Regular expression to FSM

Page 5: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

Regular expression to FSM

Page 6: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

Regular expression to FSM

Page 7: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

Regular expression to FSM

Page 8: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

Regular expression to FSM

Page 9: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

Regular expression to FSM, another example

Page 10: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

NDFSM to DFSM

DFSM and NDFSM- with a same input letter, NDFSM can go to different states- only one path needs to be accepted- ε transition

Page 11: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

NDFSM to DFSM

DFSM and NDFSM- with a same input letter, NDFSM can go to different states- only one path needs to be accepted- ε transition

Page 12: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

NDFSM to DFSM

Page 13: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

NDFSM to DFSM

Page 14: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

minDFSM

Page 15: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

minDFSM

Page 16: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

FSM to Regular expression (rip)

Page 17: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

FSM to Regular expression (rip)

Page 18: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

FSM to Regular expression (rip)

Page 19: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

FSM to Regular expression (rip)

Page 20: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

FSM to Regular expression (rip)

Page 21: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

FSM to Regular expression (rip), another example

Page 22: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017
Page 23: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017
Page 24: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017
Page 25: CS3331 Mid-term Review (Regular Language)yli922/pdf/3331_mid_term_review_regular_2017.pdf · Yiwei Li Department of Computer Science University of Western Ontario October 28, 2017

Thank you!