4,807 views
2 votes
2 votes

Minimum number of states required to construct DFA accepting language L={ w | w has even no of 0's and 1's and odd no of 3's }

over alphabet { 0,1,2,3 }

The answer given is 8. Should not the ans be 16? Using the concept of combinations there are 2 possibilities for each character ( even or odd) and there are 4 such characters. Total Combinations - 16. Thus 16 DFA states out of which 2 final states as comb for 0,1,3 is fixed and 2 can take either one.

Is it possible to get 8 states after minimization for the above DFA? Any simpler way of finding that logically?

1 Answer

Best answer
7 votes
7 votes

Let

L1={w | w has even no of 0's} -> 2 states

L2={w | w has even no of 1's} -> 2 states

L3={w | w has odd no of 3's} -> 2 states

Using product automata, L={ w | w has even no of 0's and 1's and odd no of 3's } -> L1* L2 * L3 -> 2*2*2 = 8 states

Counting the number of 2's is not at all required. So, not 16 states.

edited by

Related questions

1 votes
1 votes
1 answer
1
Prajwal Bhat asked Jan 17, 2017
1,359 views
No. of states in the DFA accepting the following set of strings are:( ( aa* + φ* )* (aa* + φ* ) + bb* + φ* φ + φ* )*Quite confusing to me. Share your approach!
5 votes
5 votes
6 answers
2
dd asked Sep 24, 2016
3,122 views
$L = \left \{ a^nb \ ; n\geq 0 \right \} \cup \left \{ b^na \ ; n\geq 1 \right \}$Minimal DFA for the above language ?
1 votes
1 votes
0 answers
3
sripo asked Oct 17, 2018
1,359 views
What is the difference between a dfa accepting epsilon moves and dfa accepting nothing?I have a dfa which has no states what will be the dfa this is regarding,this questi...
4 votes
4 votes
3 answers
4