不规则双向转换器与FO转换
摘要：确定性的双向有限字母转换器已经被Engelfriet和Hoogeboom证明与MSO转换有相同的表达能力。我们引入了这些转换器的非周期性概念，并且我们证明了非周期性转换器完全对应于FO转换。这将经典的语言等价关系扩展到了转换器领域，包括FO可定义性，被非周期性幺半群识别以及被无计数自动机接受性。
作者：Olivier Carton and Luc Dartois
论文ID：2103.15651
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-03-30