working dfa output