CISA Seminar: Steven Obua

I present a new parsing concept called local lexing which, while preserving (the advantages of) the classic separation between lexer and parser, allows lexing to be dependent upon the parsing progress. 

The original purpose of local lexing is to facilitate something I'd like to call collaborative syntax, i.e. the independent design of grammars which can then be merged in a simple fashion. But local lexing also allows a simple form of error recovery, which when combined with layout-sensitive parsing turns out to be surprisingly powerful. 

I will give two algorithms for local lexing, one an extension of Earley parsing, and the other one an extension of LR(1) parsing.