for a statement, a language $L\subseteq \Sigma^*$ is recursive if there exists some Turing machine $M$.
Which of the following conditions is satisfied for any string $\omega$?
A recursive language is decided by a Turing machine that halts on every input.
If $\omega\in L$, then the machine halts and accepts $\omega$.
If $\omega\notin L$, then the machine halts and rejects $\omega$.
Rejecting means it halts without reaching an acceptable state.
Therefore, the correct condition is:
If $\omega\notin L$, then $M$ halts without reaching an acceptable state.
Online Test Series, Information About Examination,
Syllabus, Notification
and More.
Online Test Series, Information About Examination,
Syllabus, Notification
and More.