As we know that equivalence in CSL is undecidable,so if i want to look for Non-equivalence,then will it be complement of this and answer will be NOT RE or will it be RE BUT NOT REC.
Similarly for disjointness test,if i say i want to see if some string is common in two CFG,will it be RE BUT NOT REC or NOT RE