791 views
2 votes
2 votes

I'm getting (a+ba*b)*a*b

1 Answer

Best answer
7 votes
7 votes

There are 2 approaches :

A) Reaching to final state B and then considering the loops on it..

In that case to reach state B we need : a*b.

And then incoming loops are because of 'a' and 'ba*b'..

So regular expression formed this way  =  a*b ( a + ba*b )*

B) Imagining A to be a final state considering loops on it and then reaching state B 

In that case incoming loops on A are 'a' and 'ba*b'...

And then we reach B using : ba*..

So regular expression formed this way : (a + ba*b)* ba*..

The earlier approach is known as right resolution and later approach is known as left resolution..

Hence both regular expressions are equivalent...

In fact the property  = > P(QP)*  = (PQ)* P follows from this approach only.. 

selected by

Related questions

0 votes
0 votes
2 answers
1
iarnav asked Mar 14, 2019
921 views
Given L = { 0*1 + 0 + 1* + 10*1}where + symbol is UNION and NOT positive closure.Please draw the Minimal DFA for this.
2 votes
2 votes
4 answers
2
iarnav asked Aug 20, 2017
1,389 views
I'm getting R.E as 0*1(01)*1(0+1)* but people are getting (0+10)*11(1+0)*Please tell, how!?
2 votes
2 votes
2 answers
3
iarnav asked Aug 29, 2017
974 views
input {a,b} Write R.E where every b is followed by at least 2 K a's? (K is +ve integer)
1 votes
1 votes
1 answer
4
sripo asked Nov 6, 2018
3,028 views
What is the number of states for the above DFA,please draw NFA,DFA and minimised DFA for the same.Also won't the language not accept epsilon?