|How change grammar to equivalent LL(1) ? email@example.com (Andy) (2019-12-22)|
|Re: How change grammar to equivalent LL(1) ? firstname.lastname@example.org (Lasse =?iso-8859-1?q?Hiller=F8e?= Petersen) (2019-12-23)|
|Re: How change grammar to equivalent LL(1) ? email@example.com (Christopher F Clark) (2019-12-23)|
|Re: How change grammar to equivalent LL(1) ? DrDiettrich1@netscape.net (Hans-Peter Diettrich) (2019-12-23)|
|Re: How change grammar to equivalent LL(1) ? firstname.lastname@example.org (Lasse =?iso-8859-1?q?Hiller=F8e?= Petersen) (2020-04-24)|
|Re: How change grammar to equivalent LL(1) ? email@example.com (Kaz Kylheku) (2020-04-24)|
|From:||Lasse =?iso-8859-1?q?Hiller=F8e?= Petersen <firstname.lastname@example.org>|
|Date:||24 Apr 2020 16:21:04 GMT|
|Organization:||SunSITE.dk - Supporting Open source|
|Injection-Info:||gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="54942"; mail-complaints-to="email@example.com"|
|Posted-Date:||24 Apr 2020 12:42:38 EDT|
I know this is a very late reply, however, I sometimes forget to read
Usenet news for a while, I hope the moderator is forgiving.
On Mon, 23 Dec 2019 05:57:50 -0500, Christopher F Clark wrote:
> Just a slight comment on what Lasse Hillerĝe Petersen
> <firstname.lastname@example.org> wrote:
> is called left-factoring.
I am aware, however the point was having the refactored action return a
function to adjust the direction of the parse tree. I am sure LISPers and
Schemers wouldn't consider this anything special (so ordinary perhaps
even, that I hadn't been able to find any written mention of it, until
today), but when I wrote it back in 2017 I looked at my code and thought
"hey, that's actually neat and general."
Only today did I actually manage to find a paper, which, although I am
very rusty in the matter of formal proofs and theory, being just an
amateur hacker, to me reads like the theory behind "my" method:
Thielecke, Hayo. (2012). Functional semantics of parsing actions, and
left recursion elimination as continuation passing. PPDP'12 - Proceedings
of the 2012 ACM SIGPLAN Principles and Practice of Declarative
Programming. 91-102. 10.1145/2370776.2370789.
> By the way, "Opt" is the usual suffix for Ety.
Not in the Algol68 Reports IIRC. ;-)
[Your moderator tends to draw the line at replies to messages
posted 15 or 20 years ago, generally via Google Groups. -John]
Return to the
Search the comp.compilers archives again.