加权自动机的高效补全
数据结构与算法
2016-09-14 v1 形式语言与自动机理论
摘要
我们考虑边标签来自半环的有向图。我们提出了一种算法，允许高效执行关于路径存在性及其权重的查询，并允许对图进行更新：添加节点和边，以及更改现有边的权重。我们将此方法应用于匹配界证书的构造，以自动证明字符串重写的终止性。我们在我们的框架中重新实现了 Endrullis 等人 (2006) 的分解/补全算法，并取得了可比的性能。
引用
@article{arxiv.1609.03645,
title = {Efficient Completion of Weighted Automata},
author = {Johannes Waldmann},
journal= {arXiv preprint arXiv:1609.03645},
year = {2016}
}
备注
In Proceedings TERMGRAPH 2016, arXiv:1609.03014