in Theory of Computation
1,359 views
1 vote
1 vote

No. of states in the DFA accepting the following set of strings are:

( ( aa* + φ* )* (aa* + φ* ) + bb* + φ* φ + φ* )*

Quite confusing to me. Share your approach!

in Theory of Computation
1.4k views

4 Comments

( ( aa* + φ* )* (aa* + φ* ) + bb* + φ* φ + φ* )*


 ( aa* + φ* )*

 we know φ*=∈
 so now it become ( aa* + ∈ )* =a* 

similarly we have  ( bb* + φ* )*=b*
  

so now it become 

( ( a* )* (a*) + b* + φ* φ )*
now we know ∅* =∈
( ( a* )* (a*) + b* + ∈ φ)*

( ( a* )* (a*) + b* + ∈ φ )*

( ( a* )* (a*) + b* + ∈ φ )*
so here ∈ φ= ∅
( ( a* )* (a*) + b* +∅ )*

 

(  a* + b* +∅ )*   {minimal form of above question}

1 state is sufficient i think :)
 

1
1

aa* + $\Phi$*

= a+ + $\epsilon$

= a*

bb* + $\Phi$*$\Phi$ + $\Phi$*

= b+ + $\epsilon$$\Phi$ + $\epsilon$

= b+ + $\Phi$ + $\epsilon$

= b+ + $\epsilon$

= b*

Thus, answer = (a*a* + b*)*

 = (a* + b*)*

= (a+b)*

So, 1 state should be sufficient

2
2
@Kunal. If it accepts $\phi$, then 1 state isnt sufficient.
0
0

1 Answer

6 votes
6 votes
Best answer

( ( aa* + φ* )* (aa* + φ* ) + bb* + φ* φ + φ* )*

=((a+ epsilon)* (a++epsilon) + b+ + epsilon)*
=(a*a* + b*)*
=(a*+b*)*
=(a+b)*
only 1 state needed

selected by

Related questions