关于加权自动机的消歧
形式语言与自动机理论
2014-05-06 v1
摘要
我们提出了一种针对加权自动机的消歧算法。该算法包含两个主要阶段：预消歧阶段和转移移除阶段。我们给出了该算法的详细描述及其正确性证明。该算法并不适用于所有加权自动机，但我们通过引入*弱孪生性质* (weak twins property)，证明了其在热带半环 (tropical semiring) 情况下的充分适用条件。特别是，该算法可用于所有与应用相关的无环加权自动机。虽然消歧有时可以通过确定化来实现，但在某些情况下，我们的消歧算法返回的结果比任何等价的确定性自动机都要小指数级。我们还提供了一些实证证据，表明在语音识别和机器翻译应用中，消歧相比确定化具有空间优势。
引用
@article{arxiv.1405.0500,
title = {On the Disambiguation of Weighted Automata},
author = {Mehryar Mohri and Michael D. Riley},
journal= {arXiv preprint arXiv:1405.0500},
year = {2014}
}