<?xml version="1.0" encoding="windows-1252"?>
<node id="553902" title="Re: Operator Associativity and Eliminating Left-Recursion in Parse::RecDescent" created="2006-06-06 16:02:26" updated="2006-06-06 12:02:26">
<type id="11">
note</type>
<author id="137386">
blokhead</author>
<data>
<field name="doctext">
[ikegami]++ .. I recently tried to get a sane parse tree from a grammar which (like your example scenario) was the result of left-recursion elimination on left-associative grammar rules. I found it to be highly nontrivial.

&lt;p&gt;

I was at least aware of the first two approaches you presented (though it would have taken me a long time to get approach #3a working), but it had not occured to me to use an accumulation paradigm like you do in #3c. This is a standard trick in making recursive functions tail-recursive (pass forward the intermediate results as an argument, instead of passing back the intermediate results as a return value).

&lt;p&gt;

I probably wouldn't have thought to apply this trick to parsing, though. If you're a theorist like me and view parsing through the lens of formal languages, then passing information from parent rule to child rule is not a natural approach. Good thing there are still practitioners out there ;)



&lt;!-- Node text goes above. Div tags should contain sig only --&gt;
&lt;div class="pmsig"&gt;&lt;div class="pmsig-137386"&gt;
&lt;p&gt;
blokhead
&lt;/div&gt;&lt;/div&gt;</field>
<field name="root_node">
553889</field>
<field name="parent_node">
553889</field>
</data>
</node>
