Efficient encodings of finite automata in discrete-time recurrent neural networks ∗