edited by
438 views
1 votes
1 votes

Among II and III. Which one is decidable ? Please explain in detail.

edited by

1 Answer

0 votes
0 votes
1. Decidable, membership problem for all language except RE is decidable

2. Decidable, run TM on all strings of length atmost k for k steps and accept if TM accepts at least one of the strings.

3. Undecidable, can be reduced to state entry problem.

Related questions

0 votes
0 votes
2 answers
3
agoh asked Dec 8, 2016
433 views
L= {(M)| M is a TM and there exists an input w, |w| < 100, on which M halts}. Is L decidable?Please explain.