Rename dfa_operations to dfa