www.vustuff.

com
WWW.VUTUBE.EDU.PK

CS402 Theory of Automata

Final Term Examination – Spring 2005

m
Time Allowed: 150 Minutes

er as
co
Instructions

eH w
o.
Please read the following instructions carefully before attempting any question:
rs e
1. This examination is closed book, closed notes, closed neighbors.
ou urc
2. Answer all questions.
a. There is no choice.
b. You will have to answer correctly all questions in this examination
to get the maximum possible marks.
o

3. Do not ask any questions about the contents of this examination from
aC s

anyone.
vi y re

a. If you think that there is something wrong with any of the questions,
attempt it to the best of your understanding.
b. If you believe that some essential piece of information is missing,
make an appropriate assumption and use it to solve the problem.
ed d

4. You are allowed to use any Software for Diagrams and Symbols like MS
ar stu

Word, MathType and Visio etc.

**WARNING: Please note that Virtual University takes serious note of

unfair means. Anyone found involved in cheating will get an `F` grade in
sh is

this course.
Th

Total Marks: 50 Total Questions: 09

Question No. 1 Marks : 02

A Total Language Tree has

o All languages over Σ

o All strings over Σ
o All words of all languages over Σ

https://www.coursehero.com/file/23347006/Theory-of-Automata-CS402-Spring-2005-Final-Term-Paper/
 o All words of one language over Σ
Question No. 2 Marks : 10

(a) Derive any two words of length 4 from the following CFG.
S→ XaaX, X→ aX|bX| .
䔀
Write the corresponding RE as Well. (5)

(b) Determine the CFG, corresponding to the following FA (5)

a b
b
A C+
a a

m
er as
S– b
a a

co
b

eH w
B D+
b

o.
rs e
ou urc
Question No. 3 Marks : 02

What Turing Machine does not have?

o
aC s

o Stack
vi y re

o Tape
o Head
o Word
ed d

Question No. 4 Marks : 10

ar stu

(a) Draw Moore Machine equivalent to following Mealy Machine. (5)

sh is

q1
Th

1/1
1/0

0/0
q0 0/1 q3 1/0

0/0 1/0
q2

0/1

https://www.coursehero.com/file/23347006/Theory-of-Automata-CS402-Spring-2005-Final-Term-Paper/
 (b) Use Pumping Lemma II to show that following language is non-regular. (5)

i. Square ( a n , for n = 1, 2, 3, ….)

Question No. 5 Marks : 10

Identify the language accepted by the following PDA. Build an FA accepting the
corresponding language. Write the corresponding RE as well.

m
er as
co
eH w
o.
rs e
ou urc
o
aC s
vi y re

Question No. 6 Marks : 02

Two FAs represent same languages over some alphabet (may or may not be same for
ed d

FAs), If
ar stu

o They accept same words

o They accept same number of words
o They reject same words
sh is

o None of above
Th

Question No. 7 Marks : 02

CFG given S bS|Sb|aa represents language

였

o b*aa
o aab*
o b*aab*
o b*(aa)*b*

Question No. 8 Marks : 10

https://www.coursehero.com/file/23347006/Theory-of-Automata-CS402-Spring-2005-Final-Term-Paper/
 a) Define the following terms
(6)
i. Total language tree (TLT)
ii. Ambiguous CFG.
iii. Unit Production
(b) Find Context Free Grammar's (CFG's) for the following languages over the Σ ={a, b}.
(4)
i. All the words that do not contain substring abb.
ii. All the words that have exactly two or three b's.

Question No. 9 Marks : 02

A Language that is finite but not regular

m
o Λ

er as
o (a+b)*

co
o Φ

eH w
o All strings of a's in Σ = {a,.b}

o.
rs e
ou urc
o
aC s
vi y re
ed d
ar stu
sh is
Th

https://www.coursehero.com/file/23347006/Theory-of-Automata-CS402-Spring-2005-Final-Term-Paper/

Powered by TCPDF (www.tcpdf.org)