Skip to main content
1 of 4

Can we further minimize this regular expression: a*(ac* + bc* + cc* + b*bc* + b*cc* ) + b*(bc* + cc*) + c*

I am trying to create the regular expression for the automaton named "full closure" in the following diagram using the arden's theorem: enter image description here

Since, we have 3 accepting states, we would find 3 different regular expression and then just union them up. I was able to find regular expression for q0, q1 but facing issues when trying to find one for q2:

q0 = a*
q1 = a*b* + b*
q2 = a*(ac* + bc* + cc* + b*bc* + b*cc* ) + b*(bc* + cc*) + c*

My question is can we further minimize this regular expression for q2 and overall when we union? The "full closure" automata recognizes language "abc*"