added diagram nfa