5 papers:
DLT-2015-KlimannPS #automaton #infinity- A Connected 3-State Reversible Mealy Automaton Cannot Generate an Infinite Burnside Group (IK, MP, DS), pp. 313–325.
LATA-2015-GodinKP #automaton #on the- On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata (TG, IK, MP), pp. 328–339.
FM-2009-ShahbazG #automaton- Inferring Mealy Machines (MS, RG), pp. 207–222.
FoSSaCS-2008-BonsangueRS #algebra #automaton #logic #synthesis- Coalgebraic Logic and Synthesis of Mealy Machines (MMB, JJMMR, AS), pp. 231–245.
- DLT-1995-Weber #automaton #transducer
- Transforming a Single-Valued Transducer Into a Mealy Machine (AW), pp. 176–185.
