زبانی که مورد قبول واقع میشود
است که در آن r به صورت زیر خواهد بود.
r = (a*a(a+b)*(a+b) + (a*b+c)).(a+b)*