Virtual University of Pakistan MS (CS), Fall 2020

CS701 – Theory of Computation

Assignment No.1
Maximum Marks: 50

Due Date: 30 November 2020

Instructions
The purpose of this assignment is to give your hands-on practice. It is expected that
students will solve the assignment themselves. The following rules will apply during the
evaluation of the assignment.

 Cheating from any source will result in zero marks in the

assignment.
 Any student found cheating in any of the two assignments submitted would be
awarded "F" grade in the course.
 No assignment after due date will be accepted through email

Question No. 1 (20 + JFLAP Snapshot = 5) = 25 marks)

Design a Turing Machine (TM) in the following three ways of descriptions that decide the
2n+1:
language L = {12 n ≥ 0}, the language consisting of all strings of 1s in given
exponential function.

1. The Formal description of the Turing machine

2. Implementation level description of the Turing machine
3. The high-level description of the TM

Some example words of the language are as

follows:

a. 11
b. 11111111
c. 11111111111111111111111111111111
 Virtual University of Pakistan MS (CS), Fall 2020

Note: Turing Machine must be creating in JFLAP software. The tutorial link of
JFLAP has already been sent via course announcement. The snapshots of the
Turing machine diagram and testing accepting/rejecting strings must be pasted
in the assignment.

Question No. 2 (15+10 = 25 marks)

Read the research paper entitled “Against the moral Turing test: accountable design
and the moral reasoning of autonomous systems” and answer the following
questions:

1) How can you describe” Human performance versus moral performance?’ as

discussed in the paper? Elaborate it critically in your own words.

2) What arguments have been expressed” Whose morality is tested? Verification

and design responsibility? Elaborate it critically in your own words.

Please download above Research paper that has attached with an

assignment zip file.

Note: Plagiarism will be checked for each question. Please answer the
questions in your own words and marks will be awarded based on your
answer and plagiarism report.

For any query about the assignment, contact at CS701@vu.edu.pk