Я понимаю, что для того, чтобы исключить немедленную левую рекурсию из грамматики, содержащей произведение формы A⇒Aα, мне нужно заменить ее на A⇒βA'and A'⇒αA / ∈

У меня есть следующие производства, мне нужно устранить немедленную левую рекурсию

E⇒E + T / T

E⇒E + T / T

T⇒T * Ф / Т

F⇒ (Е) / (ID)

Я вижу, что после ликвидации первая продукция становится

E⇒TE»

E'⇒ + TE '/ t∈

Может кто-нибудь объяснить, как это происходит