Máquinas Verificadoras y Detectoras