will this be decidable or partially decidable?

Question

$A=\{\langle M \rangle \mid M \text{ is a turing machine and }|L(M)|\geq3\}$

Since Recursive enumerable languages are turing enumerable, so listing of all strings of the language in finite time is possible. Then deciding whether cardinality is greater than 3 should be decidable. But the material that i have been studying says it is partially decidable. Which one is right?

You can't necessarily enumerate all the strings in finite time - in particular if there's an infinite number of them, this is impossible. In this case there is an infinite number of Turing Machines in $A$ themselves with infinite languages. — Luke Mathieson, Feb 05 '15 at 06:46

score 3 · Answer 1 · edited Apr 13 '17 at 12:48

3

The language is clearly not decidable; use Rice's theorem. See e.g. our reference question.

We can certainly simulate $M$ on every input by dovetailing and count accepted inputs; if $|L(M)| \geq 3$ our counter hits three after finite time and we accept, otherwise we loop. Therefore, $A$ is semi-decidable.

edited Apr 13 '17 at 12:48

Community

1

answered Feb 05 '15 at 07:54

Raphael

72,336
29
179
389

score 0 · Answer 2 · answered Feb 22 '15 at 07:02

You can make a reduction from the HALTING problem({,w| is a turing machine that halts on w}), using pseudocode:

def R(<M>,w):
    def F(x):
        M(w) //run M on w, if it loops we are rejecting everything
        return x in ('1','2','3')
    return F

For every x in HALTING problem, there is some y in A, such that f(x) = y.

will this be decidable or partially decidable?

2 Answers2