Log In
2 votes

in Theory of Computation 291 views
Use Rice's Theorems here
How?plz explain.

I get that it's not decidable but how is it semidecidable
Had this Question been set properly, answer would be $D.$

1 Answer

8 votes
Best answer

If someone knows even only the basic definitions of Automata Theory, will realize How Poorly this question has been constructed. But what else we can expect from Ace Test Series, It is one of the worst test series available in the market, if Not the worst one itself.

Now coming to the Question, Why is it Poorly constructed?

$L$ is the set of all Regular languages over some alphabet, say $\{ 0,1\}.$ So, $L$ itself is NOT a language But a collection of languages. A Language is a set of Strings over some Alphabet. What is a string in $L$ ? What is the alphabet of $L$ ?

So, Now you know what is Wrong with this Question. Whoever set this Question has very poor knowledge of Automata Theory. 

Now let me change this Question and make it a valid one.

Consider $<M>$ be the encoding of a Turing Machine as a string over alphabet $Ξ£ = \{0, 1\}$

$L = \{ <M> | L(M) \,\, is \,\, Regular\}$

Now this language $L$ is Non-RE language.

We can prove it using Rice's Theorem. 

Property $P(L) = L \,\, is\,\, Regular$ is Non-trivial and Non-monotonic Property of RE languages. And by Rice's Theorem we know that Any Non-trivial and Non-monotonic Property of RE languages is Undecidable and Unrecognizable.

Hence, $L$ is Not-RE. 

selected by
Nice explanation.thanks a lot

Related questions

3 votes
1 answer
2 votes
1 answer
$P_{1}:$ {$<M>|M $ is a TM that accepts atleast $2$ strings of different length} $P_{2}:$ {$<M>|M $ is a TM and there exists an input whose length less than $100,$ on which $M$ halts } The number of problem which is $RE$ but not $REC$ _____________
asked Apr 30, 2019 in Theory of Computation srestha 392 views
0 votes
3 answers
Consider $\left \langle M \right \rangle$ be the encoding of a turing machine as a string over alphabet $\Sigma =\left \{ 0,1 \right \}$. Consider $D=${$\left \langle M \right \rangle$ $M$ ... Recursive $(B)$ Non-Recursive $(C)$ Recursively enumerable $(D)$ Not Recursively enumerable My question is Is it not a Halting Problem they are asking for?
asked Apr 13, 2019 in Theory of Computation srestha 2.1k views