有限状态自动机与确定子句文法的交集
cmp-lg
2008-02-03 v1 计算与语言
摘要
Bernard Lang 将解析定义为有限状态自动机（输入）与上下文无关文法（CFG）的交集计算。将解析的输入视为有限状态自动机而非字符串，与语音理解系统中的某些方法结合良好，在这些方法中解析以词格（而非词串）作为输入。此外，某些鲁棒解析技术可以建模为有限状态转换器。在本文中，我们研究了如何将这一方法推广到统一文法。特别地，我们将聚焦于如何计算有限状态自动机与确定子句文法（DCG）的交集。我们证明现有的解析算法可以轻松扩展以处理有限状态自动机输入。然而，我们也表明终止性质发生了剧烈变化：我们证明，即使 DCG 是离线可解析的，判断有限状态自动机与 DCG 的交集是否为空是不可判定的。此外我们讨论了应对该问题的方法。
引用
@article{arxiv.cmp-lg/9504026,
title = {The intersection of Finite State Automata and Definite Clause Grammars},
author = {Gertjan van Noord},
journal= {arXiv preprint arXiv:cmp-lg/9504026},
year = {2008}
}
备注
7 pages. Requires pictexwd package. To appear in ACL 95