Fix simple_string_DFA and faulty transition names