Right most derivations for abab:
Case 1:
S β aSbS
β aSb (applying S β π)
β abSaSb (applying S β bSaS)
β abSab (applying S β π)
β abab (applying S β π)
Case 2:
S β aSbS
β aSbaSbS (applying S β aSbS)
β aSbaSb (applying S β π)
β aSbab (applying S β π)
β abab (applying S β π)