We know given a TM (M) accepts an null string ϵ is an UD problem.
Hence, L(M) will never be Recursive, but is it R.E?
I mean, TM (M) can accept epsilon when it can go to an accept state on "B" on input tape. So, does it make it Semi-decidable and hence R.E?
Thank you!
Note/Credits: Blue line is copied from Arjun Sir's answer. Source - here