加权树自动机在有限图像性质上过去有限的单调强双半群
摘要：在强双联系数上考虑加权树自动机（简称wta）。 如果wta $mathcal{A}$具有有限影像性质，则其识别出的加权树语言$[![mathcal{A}]!]$具有有限影像； 此外，如果在底层强双联系数的影像下$[![mathcal{A}]!]$的逆像是可识别的树语言，则$mathcal{A}$具有预像性质。 对于每个在过去有限单调强双联系数上的wta $mathcal{A}$，我们证明了以下结果。 在$mathcal{A}$的结构特性方面，我们刻画了它是否具有有限影像性质。我刻画了那些过去有限单调型强双联系数，使得对于每个wta $mathcal{A}$，可以判定$mathcal{A}$是否具有有限影像性质。特别地，过去有限单调半环上的wta的有限影像性质是可以判定的。此外，我们证明了$mathcal{A}$具有预像性质。我们的所有结果对加权字符串自动机也成立。
作者：Manfred Droste, Zolt''an F"ul"op, D''avid K''osz''o, Heiko Vogler
论文ID：2106.15867
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-07-01