LR(1) grammar/parser and lookahead-restrictions

Michael Dyck jmdyck at
Tue Jan 24 16:23:18 UTC 2017

On 17-01-23 08:24 PM, Waldemar Horwat wrote:
> On 01/11/2017 10:28, Michael Dyck wrote:
>> If so, I'm wondering how lookahead-restrictions (e.g., [lookahead <!
>> terminals]) fit into the LR approach. It seems like there are three
>> possibilities:
>>   - modify the grammar (before the parser is constructed),
>>   - modify the construction of the parser, and/or
>>   - modify the operation of the parser.
>> It's not clear to me that any of these (or any combination of these) will
>> work.
>> Has anyone algorithmically generated an LR parser from the spec grammar?
>> If so, how did you you handle lookahead-restrictions?
> I have an implementation of the parser with a few extensions to the LR
> grammar, including support for ... lookahead  restrictions, ...

Great! So how do you handle lookahead restrictions?


More information about the es-discuss mailing list