Question: 2 . [ 2 0 points, 1 0 points per item ] Let L 1 and L 2 be the following two languages: L 1

2.[20 points, 10 points per item] Let L1 and L2 be the following two languages:
L1={M,x,y:M isaTMandacceptsatleastoneofxory} and L2={M,x,y:M isaTMandacceptsexactlyoneofxory}
(a) Prove that L1 is recognizable. You only need to describe a Turing machine that recognizes L1. No justification for its correctness is needed.
(b) Prove that L2 is not recognizable. (Hint: Mapping reduction from ATM.)

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!