关于由可逆可逆 Mealy 自动机生成的无挠半群
形式语言与自动机理论
2014-12-04 v2 群论
摘要
本文探讨了一类自动机半群的挠问题，这类半群定义为由 Mealy 自动机（即具有相同输入和输出字母表的逐字母转换器）诱导的变换半群。一般而言，自动机半群的挠问题是不可判定的，但在由可逆有界 Mealy 自动机生成的（半）群这一研究充分的类中已知是可解的。我们关注某种程度上截然相反的可逆可逆 Mealy 自动机类，并证明对于其一个广泛的子类，所生成的半群是无挠的。
引用
@article{arxiv.1410.4488,
title = {On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata},
author = {Thibault Godin and Ines Klimann and Matthieu Picantin},
journal= {arXiv preprint arXiv:1410.4488},
year = {2014}
}
备注
12 pages, 4 figures, LATA'15 : 9th International Conference on Language and Automata Theory and Applications