Как левый факторинг контекстно-свободной грамматики?

Как я понимаю, в следующем случае для построения нисходящего синтаксического анализатора требуется левое факторинг. Но сложно понять, как это сделать? Кто-нибудь может мне здесь помочь? Спасибо.

s = a | b
b = c d
c = (e | f) g
e = a | h