Implement transition/run_string for NFA. Also rename NFA.state to NFA.states