The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
0 votes

     Hi Guys, 

What is the type of $L_{1}$ and $L_{2}$ ? If they are REC then How could it be proved ?

asked in Theory of Computation by Veteran (14.7k points) | 29 views
I think L1 is REC,

Each language has infinite accepting TMs,L(M) is empty.

and thus recursive.
L1 is trivially decidable,just introduce some dummy state in binary encoding of turing machines.L2 doesn't seem even recognisable to me,is it correct?

Please log in or register to answer this question.

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

34,256 questions
40,959 answers
39,868 users