dfa for init state is set