Verifying And Interpreting Neural Networks using Finite Automata