From the above diagram, Starting state is A which takes epsilon as the value, since it is the final state as well either it will end here or it will take another value a which leads to state B or b which leads to state C I.e A- epsilon B- A(a) + D(a) C- B(b) D- A(a) + B(b) The string will continue as a+ba)(ba)* from state B and end at C by taking b as final value Final answer is.. ^+(a+ba)(ba)*b