具有歧义和约束的语言的扫描与解析：Lamb 和 Fence 算法
摘要：使模型的更加基于语言处理的工具解除了语言设计与语言处理之间的限制。这些工具允许在语言规范中出现词汇和语法上的歧义，并用声明性的方式规定如何解决这些歧义。因此，这些技术需要能够解析上下文无关语法、处理歧义并强制执行消除歧义的约束的扫描器和分析器。在本文中，我们介绍了Lamb和Fence。Lamb是一种扫描算法，支持模糊的标记定义和自定义模式匹配器和约束规定。Fence是一种图表分析算法，支持模糊的上下文无关语法和关于关联性、组合和优先级的规则定义，以及自定义约束。Lamb和Fence的结合使得能够实现基于模型的语言处理工具ModelCC。
作者：Luis Quesada, Fernando Berzal, Francisco J. Cortijo
论文ID：1501.02795
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2015-01-14