transducer 对正规性的保持
形式语言与自动机理论
2019-04-22 v1
摘要
我们考虑具有无穷输入与无穷输出的输入确定有限状态 transducer，并考虑无穷字上的 Borel 正规性性质。当这些 transducer 由一组强连通状态给出，且输入为 Borel 正规序列时，输出是一个无穷字，其中每个词都具有由有理数上的加权自动机给出的频率。我们证明存在一个算法可在三次时间内判定一个输入确定 transducer 是否保持正规性。
引用
@article{arxiv.1904.09133,
title = {Preservation of normality by transducers},
author = {Olivier Carton and Elisa Orduna},
journal= {arXiv preprint arXiv:1904.09133},
year = {2019}
}