function b = equal_dfsa(M1,M2)
% does L(M1) = L(M2)? i.e., do the two automata accept the same language?
% see str2dfsa.m for basic dfsa definitions

b = empty_fsa(symdiff_dfsa(M1,M2));

return