

InterviewSolution
Saved Bookmarks
1. |
A formal language is recursive if :(a) a total turing machine exists(b) a turing machine that halts for every input(c) turing machine rejects if the input does not belong to the language(d) all of the mentionedThe question was asked during an interview for a job.The origin of the question is The Universal Language-Undecidability in chapter Undecidability of Automata Theory |
Answer» CORRECT option is (d) all of the mentioned To explain I would say: A formal language is called RECURSIVE if it is a recursive subset of the SET of all possiblefinite SEQUENCES over the alphabet of the language. |
|