Awesome q2a theme
+1 vote
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?
ago in Theory of Computation by (7 points) | 14 views
There exists a Turing machine that accepts $\epsilon$. You are probably confusing it with a decider.

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$.

Please log in or register to answer this question.

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
Welcome to GATE CSE Doubts, where you can ask questions and receive answers from other members of the community.
Top Users Feb 2020
  1. shashin

    363 Points

  2. Shaik Masthan

    79 Points

  3. SuvasishDutta

    39 Points

  4. srestha

    33 Points

  5. Mk Utkarsh

    32 Points

  6. neeraj_bhatt

    31 Points

  7. !KARAN

    30 Points

  8. Debapaul

    23 Points

  9. Pratyush Priyam Kuan

    18 Points

  10. kalra05

    18 Points

Monthly Top User and those within 60% of his/her points will get a share of monthly revenue of GO subject to a minimum payout of Rs. 500. Current monthly budget for Top Users is Rs. 75.
3,316 questions
1,581 answers
89,904 users