[Gramatyki] Leczenie lewostronnej rekursji

[marcin1509]

Witajcie,
Dostałem zadanie na leczenie lewostronnej rekursji. Wiem, że chodzi o sprowadzenie gramatyki do postaci \(\displaystyle{ P=AB^{*}}\)

Mam taki przykład :

\(\displaystyle{ <S> ::= <T> | <S><T>}\)
\(\displaystyle{ <T> ::= a | <T>b | <S>}\)

Próbowałem rozwiązać to zadanie podstawiając nie terminal s w produkcji nieterminala t. Jednak okazalo się że to źle rozumowanie. Może ktoś mi wyjaśnić, jak takie zadania się robi ? Nie zawsze wiem co gdzie podstawić aby wyszło to, co ma wyjść.
Proszę o pomoc.