Connectivity and Reversibility in Automata

Zamir Bavel, David E. Muller. Connectivity and Reversibility in Automata. Journal of the ACM, 17(2):231-240, 1970. [doi]

Abstract

Abstract is missing.