Solutions: Tutorial 2
August 11, 2015
1. Let X = cfw_< M, w >  M is a single tape Turing Machine that never
modies the portion of the tape containing the input w. Is X decidable?
Prove your answer.
A
Discrete Mathematical
Structures
Sixth Edition
.
Bernard Kolman
Drexel University
.
RobertC. Busby
Drexel University
.
Sharon Cutler Ross
Georgia Perimeter College
Upper Saddle River, NJ 07458
11.3
11
Artificial Intelligence (CS60045)
Assignment 2 (Theory)

Name:
Roll Number:
Answer the following questions and submit it as a pdf file in moodle.
This assignment should be submitted by 11th August, 2
Artificial Intelligence (CS60045)
Assignment 1
Name: Kumar Ayush
Roll Number: 13CS10058
Name of the AI System : Collaborative TV Viewing Assistant
Sensors: Voice Recorder(Speech to Text)
Input: Voice
Artificial Intelligence (CS60045)
Assignment 2 (Programming assignment)

Name:
Roll Number:
Read the following problem and implement it using any language of
your choice (C, C+ , Java or Python). Sub
Solutions: Tutorial 6
September 8, 2015
Scanned by CamScanner
1
Scanned by CamScanner
2
Independent Set:
Independent Set NP Assume the verier is presented with a subset
S of vertices in G. Our verier
Solutions: Tutorial 4
1. Give the model of the sentence.
eq = x[R1 (x, x)]
x, y[R1 (x, y) R1 (y, x)]
x, y, z[(R1 (x, y) R1 (y, z) = R1 (x, z)]
Answer : The statement eq gives the three conditions of
Solutions: Tutorial 4
August 25, 2015
1. Let Lf in = cfw_< M > L(M ) is nite. Prove using Recursion theorem
that Lf in is undecidable.
Answer : Let Lf in be decidable and be decided by the TM D. Let
Solutions : Tutorial 3
August 12, 2015
1. In the silly Post Correspondence Problem, SPCP, in each pair the top
string has the same length as the bottom string. Show that the SPCP is
decidable.
i
Answe
THEORY OF COMPUTATION CS41001
Tutorial 5 Homework Problem Solutions
September 1, 2015
1. Let us consider the w given as = [x p(x, x) x, y, z (p(x, y) p(y, z) =
p(x, z) x, y (p(x, y) p(y, x)] = yx p(y,
THEORY OF COMPUTATION CS41001
Tutorial 5 Classroom Problem Solutions
September 1, 2015
1. Let DOUBLE SAT = cfw_  such that has at least two satisfying assignments.
Show that DOU BLE SAT is NPcomplet
1‘ Pma, Jami PCP mm [AAma aLHKMLd \LA MAW.
Lei: mm W wow/awn 4 mm Wm MM 1530 AQCLWW
U=(u1, m, diam) NJ V= CU’LU‘lem) [xi/we 6 Zﬁ‘.
7111/ MW ‘V3 to L5 Ct. ﬁt’v’z’tl
(1mm, if) Wm 1J 6 {ipwwy iron i=
Solutions : Tutorial 3
August 19, 2015
1. Let L = cfw_< M > L(M ) = . Prove that L is not Turingrecognizable.
Answer: Let L be Turingrecognizable by the TM R. We will construct
a decider D for HT
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner
Scanned by CamScanner