( ( 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 :)