795 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
934 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,406 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
984 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,052 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?