0 0 votes When we convert a (minimal) NFA to DFA by subset construction method, is the DFA obtained always a minimal DFA? Please elaborate. Theory of Computation finite-automata theory-of-computation minimal-state-automata + – Mizuki 1.8k views answer comment Share Follow Print See all 4 Comments 4 4 Comments reply Arjun commented Nov 14, 2018 reply Follow flag If so then what is the use of "DFA Minimization" algorithm given on TOC textbook? 1 1 replyShare Mizuki commented Nov 14, 2018 reply Follow flag Ooh I see. Thanks @Arjun! 0 0 replyShare Shamim Ahmed commented Nov 15, 2018 reply Follow flag No not always. Refer to this answer:- https://cs.stackexchange.com/questions/87189/does-nfa-to-dfa-conversion-give-the-minimal-dfa-as-result 1 1 replyShare Mizuki commented Nov 15, 2018 reply Follow flag That was quite helpful, thanks @Shamim! 1 1 replyShare Please log in or register to add a comment.
Best answer 2 2 votes No, it's not. It may be or may not be. In most of the cases, it won't be. Hence, we use Minimization method to generate the minimized DFA. `JEET answered Nov 14, 2018 • selected Nov 15, 2018 by Mizuki `JEET comment Share Follow See 1 comment 1 1 comment reply Mizuki commented Nov 15, 2018 reply Follow flag Thanks @JEET! 0 0 replyShare Please log in or register to add a comment.