automatos verificados como equivalents