Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata | IEEE Conference Publication | IEEE Xplore