Hritariddha Acharjee
Hritariddha Acharjee
3
Department of Information Technology
Formal Definition of NFA
Definition of NFA
A Non-Deterministic Finite Automaton (NFA) is formally defined as a 5-tuple:
M=(Q,Σ,δ,q0,F)
where:
Q = Finite set of states
Σ = Input alphabet (set of symbols)
δ = Transition function
q₀ = Initial state
F = Set of final or accepting states
6
Department of Information Technology
Conversion from NFA to DFA
Key Idea:
• DFA states = Power set of NFA states
• A DFA has at most 2ⁿ states if the NFA has n states.
7
Department of Information Technology
Example Conversion from NFA to DFA