推动加权树自动机
摘要：关于加权树自动机的权重归一化程序的引入 加权树自动机（wta）是在可交换半域上的。这种归一化过程即使对于非确定性的wta也能保持被识别的加权树语言的特性，但对于自底向上的确定性wta来说是最有用的，因为它可以用于最小化和等价性测试。在这两种应用中，通过仔细选择要重新分配的权重，然后进行归一化，可以将一般问题简化为相应的自底向上的确定性无权重树自动机的问题。这种方法已经被Mohri和Eisner成功地应用于确定性加权字符串自动机的最小化。此外，对于两个wta M和M'的新等价测试的运行时间为O((lvert M vert + lvert M' vert) cdot log {(lvert Q vert + lvert Q' vert)})，其中Q和Q'分别是M和M'的状态，这提高了之前最好的运行时间O(lvert M vert cdot lvert M' vert)。
作者：Thomas Hanneforth and Andreas Maletti and Daniel Quernheim
论文ID：1702.00304
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22