Induction of Finite-State Automata Using Second-Order Recurrent Networks