Implemented PartialEq (== operator) for DFAs.