Assignment No. 04 Semester: Fall 2012 | CS402 - Theory of Automata

Admin

Theory of Automata (CS402)
Assignment # 4

Total marks = 20
Deadline Date = January 7, 2013

Please carefully read the following instructions before attempting the assignment.
Rules for Marking
It should be clear that your assignment would not get any credit if:

The assignment is submitted after the due date.
The submitted assignment does not open or file is corrupt.
The assignment is copied.

Strict action will be taken if submitted solution is copied from any other student or from the internet. Students will be punished severely in either case.

You should concern recommended books to clarify your concepts as handouts are not sufficient.
You are supposed to submit your assignment in .doc format. Any other formats like scan images, PDF, zip, rar, bmp etc will not be accepted.
You are advised to upload your assignment at least two days before the due date.
The assignment file comprises of two pages.

Note:
No assignment will be accepted after the due date via email in any case (whether it is the case of load shedding or internet malfunctioning etc.). Hence refrain from uploading assignment in the last hour of the deadline. It is recommended to upload solution file at least two days before the deadline.
For any query, feel free to email at:
cs402@vu.edu.pk
Scenario: Consider the following sequential circuit:

X and Y are the two points showing state of above circuit. The presence and absence of current at the given points identify the following states:
q0(X=0, Y=0) = (0,0)
q1 (X=0, Y=1) = (0,1)
q2 (X=1, Y=0) = (1,0)
q3 (X=1, Y=1) = (1,1)
Questions:
a. Write down the expressions to find out new X, new Y and Output? [Marks 5]
b. Calculate all the values of the respective transition table for a mealy machine? [Marks 10]
c. Draw the resulting mealy machine from the transition table (calculated in step b)? [Marks 5]

“Best of luck”