Scifaro

中文

对在结构上生成有限群的那类自动机的刻画

形式语言与自动机理论 2013-10-29 v1 群论

作者: Ines Klimann , Matthieu Picantin

在 arXiv 上查看 ↗ PDF ↗

摘要

Antonenko 和 Russyev 已独立证明，任何无出口循环（即底层有向图中的每个循环均为汇分量）的 Mealy 自动机，无论生产函数如何选择，均生成一个有限（半）群。Antonenko 已证明这构成了不可逆情形下的刻画，并提出了可逆情形的问题，本文对此进行了证明。

关键词

Mealy 自动机有限群结构刻画可逆情形有向图汇分量

引用

@article{arxiv.1310.7137,
  title  = {A characterization of those automata that structurally generate finite groups},
  author = {Ines Klimann and Matthieu Picantin},
  journal= {arXiv preprint arXiv:1310.7137},
  year   = {2013}
}