关于半线性集运算的描述复杂性
形式语言与自动机理论
2017-08-23 v1
摘要
我们研究了半线性集运算的描述复杂性。粗略地说，半线性集是线性集的有限并集，而线性集由常数向量和周期向量构成。半线性集的重要参数包括：(i) 周期向量和常数向量中出现的最大值，以及 (ii) 描述所考虑的半线性集所需的此类周期集和常数集的数量。更准确地说，我们证明了并集、交集、补集和逆同态运算的上界。特别地，我们关于补集上界的结果回答了 [G. J. LAVADO, G. PIGHIZZINI, S. SEKI: Operational State Complexity of Parikh Equivalence, 2014] 中的一个开放问题。
引用
@article{arxiv.1708.06460,
title = {On the Descriptional Complexity of Operations on Semilinear Sets},
author = {Simon Beier and Markus Holzer and Martin Kutrib},
journal= {arXiv preprint arXiv:1708.06460},
year = {2017}
}
备注
In Proceedings AFL 2017, arXiv:1708.06226