The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
0 votes

As all recursive languages are recursively enumerable languages, they also should be Turing Recognizable together with Turing Decidable. This was my logic behind marking the 4th option which says all of the mentioned statements are true.

Correct me if I am wrong 

asked in Theory of Computation by Junior (539 points)
retagged by | 45 views

1 Answer

+1 vote

Your answer is Correct as well as your logic.  Recursively enumerable aka Formal language aka  recognizable aka partially decidable aka semidecidable aka Turing-acceptable aka Turing-recognizable.

answered by Boss (13.2k points)
edited by

Pata nhi kya foonk ke Question/Answer set karte hain kabhi kabhi.. Ask them what is this new weed called.

try to not use these words 

My bad. Apologies. Corrected.

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

36,157 questions
43,608 answers
42,860 users