Toward a theory of input-driven locally parsable languages

Stefano Crespi Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
2017 Theoretical Computer Science  
If a context-free language enjoys the local parsability property then, no matter how the source string is segmented, each segment can be parsed independently, and an efficient parallel parsing algorithm becomes possible. The new class of locally chain parsable languages (LCPLs), included in the deterministic context-free language family, is here defined by means of the chain-driven automaton and characterized by decidable properties of grammar derivations. Such automaton decides whether to
more » ... e or not a substring in a way purely driven by the terminal characters, thus extending the wellknown concept of input-driven (ID) alias visibly pushdown machines. The LCPL family extends and improves the practically relevant Floyd's operator-precedence (OP) languages which are known to strictly include the ID languages, and for which a parallelparser generator exists.
doi:10.1016/j.tcs.2016.05.003 fatcat:sa3xk75i5rehbkglcy2ht6onxi