retagged by
408 views
0 votes
0 votes

L = { <M,w> / M is a TM,w is a string and M on simulating w,the Read/write head of M moves 100 steps away from the left most symbol of input }.Assume initially the Read/write head is in left-most symbol of input. 

MY ANSWER : This language is Recursively enumerable but not recursive ...right ??? 

retagged by

1 Answer

0 votes
0 votes
L = { <M,w> / M is a TM,w is a string and M on simulating w,the Read/write head of M moves 100 steps away from the left most symbol of input }.Assume initially the Read/write head is in left-most symbol of input.

i think it should be regular language because the number of steps are finite and countable which is in the case of the regular language.

Related questions

1 votes
1 votes
1 answer
2
Ayan21 asked Dec 17, 2018
604 views
Does the statement given below is true?If a language L is recursive enumerable than there does not exits a TM that could accept complement of L but reject L.
0 votes
0 votes
0 answers
3
vignesh asked Apr 21, 2017
317 views
L = { <M / M is a Turing machine and M accepts a regular language }.This Language L is recursively enumerable but not recursive. ...right ??
0 votes
0 votes
1 answer
4
vignesh asked Apr 21, 2017
351 views
This language,L = { <M,w / M is a TM,w is a string and M does not halt on string w }is not recursively enumerable ...right ???