pass the auto_ptr to DFAState by reference