About Some Properties of Definite, Reverse-Definite and Related Automata | IEEE Journals & Magazine | IEEE Xplore