有限$\mathbb{N}$-加权自动机的函数闭合性
计算复杂性
2024-04-23 v1 形式语言与自动机理论
摘要
我们确定有限-加权自动机的所有函数闭合性，包括所有多变量闭合性，特别是所有多变量多项式。我们也确定了在承诺设置下的全部单变量闭合性，以及在特定承诺条件下的所有多变量闭合性，特别是当输出向量位于单调代数图形 variety 中的情况。
引用
@article{arxiv.2404.14245,
title = {Functional Closure Properties of Finite $\mathbb{N}$-weighted Automata},
author = {Julian Dörfler and Christian Ikenmeyer},
journal= {arXiv preprint arXiv:2404.14245},
year = {2024}
}
备注
Short version to be published at ICALP 2024