Toward a theory of input-driven locally parsable languages

详细信息    查看全文

• 作者：Stefano Crespi Reghizzi^a ; ^c ; ^{stefano.crespireghizzi@polimi.it} ; Violetta Lonati^b ; ^{lonati@di.unimi.it} ; Dino Mandrioli^a ; ^{dino.mandrioli@polimi.it} ; Matteo Pradella^a ; ^c ; ^{matteo.pradella@polimi.it}
• 关键词：Operator precedence languages ; Input-driven languages ; Visibly pushdown languages ; Parallel parsing
• 刊名：Theoretical Computer Science
• 出版年：2017
• 出版时间：7 January 2017
• 年：2017
• 卷：658
• 期：part_PA
• 页码：105-121
• 全文大小：554 K
• 卷排序：658

文摘

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 reduce or not a substring in a way purely driven by the terminal characters, thus extending the well-known 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 parallel-parser generator exists.