You are on page 1of 13

COM555

Theory of Computation
Lecture 5
Nondeterministic Finite Automata (NFA)
Assoc Prof Dr Melike Sah Direkoglu
melike.sah@neu.edu.tr
Nondeterministic Finite Automata (NFA)

• In a deterministic finite automata, when the


machine is in a given state and reads the next
input symbol, we know what is the next state
will be. This is called deterministic
computation.
• In a nondeterministic machine, several choices
may exist for the next state at any point.
NFA
NFA Example
NFA Difference from DFA
NFA Difference from DFA

N1 accepts any
string that contains
101 or 11 as
substring
Formalization of Nondeterministic Finite
Automata (NFA)
Example
Language of N2?
Example
Language of N3?

You might also like