nondeterministic finite automaton · 2019-10-30 · nondeterministic finite automaton (nfa) g is a...

24
Nondeterministic Finite Automaton

Upload: others

Post on 26-Mar-2020

8 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Nondeterministic Finite Automaton

Page 2: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Nondeterministic finite automaton

Page 3: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Example

Page 4: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Example

Page 5: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Equivalence of NFA and DFA

Page 6: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Equivalence of NFA and DFA

Page 7: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Equivalence of NFA and DFA

Page 8: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Equivalence of NFA and DFA

Page 9: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Example

Page 10: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Recap

Page 11: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Regular Operations

Page 12: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Union

Page 13: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Union

Page 14: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Union

Page 15: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Catenation

Page 16: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Catenation

Page 17: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Catenation

Page 18: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Catenation

Page 19: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Star

Page 20: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Star

Page 21: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Star

Page 22: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Star

Page 23: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Recap

Page 24: Nondeterministic Finite Automaton · 2019-10-30 · nondeterministic finite automaton (NFA) G is a 5-tuple G = (Q, E, ð, qo, Qa , where , alphabet; a finite set of symbols , subset

Regular expressions