+1 vote
53 views
As per the definition of a Turing Machine, it does not accept Epsilon. But, A →  ϵ  can be generated by a Unrestricted Grammar. So, how can we say that Turing Machines are the acceptors for Recursively Enumerable languages generated by Unrestricted Grammar?
| 53 views
0
There exists a Turing machine that accepts $\epsilon$. You are probably confusing it with a decider.
0

it does not accept Epsilon

Citation needed.

There very much exist TM's that recognize $\epsilon$. Trivial example would be one that has a transition $q_{initial}, B, B, R/L, q_{final}$

If you cannot digest that because it is too trivial - you can also build a machine that upon reading $\epsilon$, performs a prime factorization of some unique large number while going through a hundred different states and then accepts. Net result would still recognizing $\epsilon$.