sofic-Dyck 移位 zeta 函数的 $\mathbb{N}$-代数性
形式语言与自动机理论
2017-02-24 v2
摘要
我们证明了 sofic-Dyck 移位的多变量 zeta 函数是某个可视下推语言 (visibly pushdown language) 的交换级数。因此,sofic-Dyck 移位的 zeta 函数是可视下推语言的生成函数,从而是一个 -代数级数。
引用
@article{arxiv.1501.05843,
title = {$\mathbb{N}$-algebraicity of zeta functions of sofic-Dyck shifts},
author = {Marie-Pierre Béal and Cǎtǎlin Dima},
journal= {arXiv preprint arXiv:1501.05843},
year = {2017}
}
备注
This paper has been withdrawn by the authors due to an error in the proof of the main result