A' may or may not form a TM , it depends which type of lanague is accepted by TM ( if recursive then A' will form a TM but as here no reference is provided - we assume the languge is REL hence A' may or may not be REL as REL are not closed on complement )