Consider a DFA over∑= {a, b} accepting all strings which have number of a's divisible by 6 and number of b's divisible by 8. What is the minimum numberof states that the DFA will have?
Open in App
Solution
A DFA over ∑ = {a, b} accepting all strings which have no. of a's divisible by 6 and number of b's divisible by 8 is a grid machine (product automata) having 6 × 8 = 48 states.