Symbolic Automaton With Rnn