Bounds on the complexity of recurrent neural network implementations of finite state machines