The Formula to transform a left-recursive Grammar into an equivalent Grammar without left-recursion, outgraved on a key-tag. An essential tool, if you ever panned to build an LL(1) compiler.
