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.


Discussion

No Comment Found

Related InterviewSolutions