迈向有理词函数的代数刻画
形式语言与自动机理论
2015-06-23 v1
摘要
在形式语言理论中，若干不同模型刻画正则语言，如有限自动机、有限指数同余或一元二阶逻辑(MSO)。此外，MSO的若干片段有基于代数性质的有效刻画。当我们考虑转换器而非自动机时，此类刻画更具挑战性，因为正则语言的许多性质不能推广到正则词函数。在本文中，我们考虑可由单向转换器（有理函数）定义的词函数。我们展示Reutenauer和Sch\"utzenberger的典范双机保留了有理函数的某些代数性质，类似于词语言的情况。特别地，我们给出了可由非周期单向转换器定义的函数的有效刻画。
引用
@article{arxiv.1506.06497,
title = {Towards an algebraic characterization of rational word functions},
author = {Nathan Lhote},
journal= {arXiv preprint arXiv:1506.06497},
year = {2015}
}