1 votes 1 votes This is from GO Decidability slides. I have a doubt with 3 & 4 which is saying every TM ACCEPT L since accepted implies that it rejects all which is not part of language.Why we are using ACCEPTED instead of the word RECOGNISED? Theory of Computation decidability self-doubt + – Abbas Ahmad asked Jan 27, 2019 Abbas Ahmad 222 views answer comment Share Follow See 1 comment See all 1 1 comment reply Arjun commented Jan 27, 2019 reply Follow Share "Accepted" does not imply that it "rejects" all other strings (decided is used for that). For example, when we say if a TM accept "w" - it is free to accept/reject any other word. But in the context of language and TM, "recognized" is a better word than "accepted". I have changed it in the slides. 0 votes 0 votes Please log in or register to add a comment.