DETERMINISTIC FINITE AUTOMATA (DFA)
- If for every input symbol of an alphabet there is an exactly one transition from every state of finite automata then such FA is called as DFA.
- DFA covers deterministic transitions for all valid and invalid strings in the given regular language.
- For every valid string, DFA reaches to the final state and for every invalid string it reaches to the non final state.
Specifications of DFA
DFA = (Q, Σ, δ, q0, F) is a 5-tuple notation
where, Q is the set of finite states,
Σ is an input alphabet contain finite number of input symbols.
δ is a transition function defined over transitions of FA for state and input, (δ : Q × Σ → Q)
q0 is an initial state or start state of DFA, (q0 ∈ Q).
F is the set of final states of DFA (F ⊆ Q).
Dear Aspirants,
Your preparation for GATE, ESE, PSUs, and AE/JE is now smarter than ever — thanks to the MADE EASY YouTube channel.
This is not just a channel, but a complete strategy for success, where you get toppers strategies, PYQ–GTQ discussions, current affairs updates, and important job-related information, all delivered by the country’s best teachers and industry experts.
If you also want to stay one step ahead in the race to success, subscribe to MADE EASY on YouTube and stay connected with us on social media.
MADE EASY — where preparation happens with confidence.

MADE EASY is a well-organized institute, complete in all aspects, and provides quality guidance for both written and personality tests. MADE EASY has produced top-ranked students in ESE, GATE, and various public sector exams. The publishing team regularly writes exam-related blogs based on conversations with the faculty, helping students prepare effectively for their exams.
