added example dfa