Symmetries of automata

For a given reachable automaton \(\mathcal A\), we prove that the (state-) endomorphism monoid \(End({\mathcal A})\) divides its characteristic monoid \(M({\mathcal A})\). Hence so does its (state-)automorphism group \(Aut({\mathcal A})\), and, for finite \(\mathcal A\), \(Aut(\mathcal A)\) is a hom...

Full description

Saved in:
Bibliographic Details
Date:2018
Main Authors: Egri-Nagy, Attila, Nehaniv, Chrystopher L.
Format: Article
Language:English
Published: Lugansk National Taras Shevchenko University 2018
Subjects:
Online Access:https://admjournal.luguniv.edu.ua/index.php/adm/article/view/1175
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Algebra and Discrete Mathematics

Institution

Algebra and Discrete Mathematics