#finite automata #state machine #state diagram #dfa #NFA #regular language #acceptor #transition diagram