On Relations Defined by Generalized Finite Automata | IBM Journals & Magazine | IEEE Xplore