Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks