{:check ["true"]}
In this section, we discuss grammar transformations to produce left-factor grammars that are free of left-recursion.