Minimal Reversible Deterministic Finite Automata

Markus Holzer 0001, Sebastian Jakobi, Martin Kutrib. Minimal Reversible Deterministic Finite Automata. Int. J. Found. Comput. Sci., 29(2):251-270, 2018. [doi]

Abstract

Abstract is missing.