Reversible Languages Having Finitely Many Reduced Automata

Kitti Gelle, Szabolcs Iván

Reversible forms of computations are often interesting from an energy efficiency point of view. When the computation device in question is an automaton, it is known that the minima…