Given that Mi is a TM that accept ai.
Acceptance means it accept all strings belongs to the language and rejects all which are not present in the language.
That means It is decidable, So the Language is Recursive.
Complement of Recursive Lang is : Recursive
Every Recursive Lang is : RE.
So Option A is correct.