Professional Documents
Culture Documents
C 71 F C E 3 41 D 17 1 0
CB B71 2F4 47CDDE7 7036 641 FDB B17 81C C302 21D
7 2F 7C E 03 4 FD 1 81 30 1 29
B7 12F 47 D 70 64 1FD B1 781 C3 21 D2 CB
1 C E 3 1 0 D 9
71 2F4 47C DE7 703 641 FDB B17 781C C30 21D 29C CB7 712F
D
2F 7C E 03 64 FD 1 81 30 21 29 B 12 4
12 47 D 70 6 1F B 78 C3 2 D2 C 71 F 7C
F C E 3 41 D 17 1 0 1D 9 B 2 47 D
F4 47CDDE7 7036 641 FDB B17 81C C302 21D 29C CB7 712F F47 CD E70
7 F 8 C E 3
47 CD E70 0364 41F DB 178 1C3 3021 1D2 29CB B71 12F4 47C DE 703 641
CD E7 36 1F DB 17 1C 02 D 9C 7 2F 7C DE 70 64 FD
7C E 03 41 D 1 81 30 1D 29 B 12 47 D 7 36 1F B
D 70 64 F B 78 C3 21 2 C 71 F4 C E 03 41 D 17
Q. 1
i.
i.
B.
A.
v.
ii.
DE E70 364 1FDDB1 1781 1C3 021 D29 9CB B712 2F4 7CDDE7 7036 641F FDB B17 81C
iv.
3 1 7 8
iii.
7 C 0 D 0 4 3
E7 7036 641F FDB B17 81C 302 21D 29C CB7 712F F47C CDE E70 364 1FDDB1 1781 1C3 021
03 41 D 17 81C 30 1D 29 B7 12 47 D 70 364 1F B 78 C3 02 D2
64 FD B1 81 3 21 29 CB 12 F4 CD E7 36 1F DB 17 1C 02 1D 9C
1F B 78 C 02 D2 C 71 F 7C E 03 41 D 1 81 30 1D 29 B
DB 17 1C 302 1D 9C B7 2F 47C DE 70 64 FD B1 781 C3 21 2 CB 71
17 81C 302 1D 29C B7 12F 47 DE 70 364 1FD B1 781 C3 021 D2 9CB 71 2F4
81 30 1D 29 B 12 47 CD 7 36 1F B 78 C 02 D 9C 7 2F 7C
C3 21 2 CB 71 F4 C E 03 41 D 17 1C 30 1D 29 B7 12 47 D
a) 0*
02 D2 9C 71 2F 7C DE 703 641 FD B1 81 30 21D 29 CB 12 F47 CD E7
automaton.
1D 9C B7 2F 47 D 70 64 FD B1 78 C3 21 2 CB 71 F4 C E 03
c) + 0
29 B 12 47 CD E70 36 1F B 78 1C3 02 D2 9C 71 2F 7C DE 703 641
CB 71 F4 CD E7 36 41 DB 17 1C 02 1D 9C B7 2F 47 D 70 64 FD
a) null tree
71 2F4 7C E7 03 41 FDB 17 81C 30 1D 29C B7 12F 47 CD E70 364 1F B1
2F 7C DE 03 64 FD 1 81 30 21 29 B 12 4 CD E7 36 1F DB 78
47 D 70 64 1F B 78 C3 21 D2 CB 71 F4 7C E 03 41 D 17 1C
CD E7 36 1F DB 17 1C 02 D 9C 7 2F 7C DE 70 64 FD B1 81 3
c) initial, final
E7 036 41F DB 17 81C 302 1D 29C B7 12F 47C DE 70 364 1FD B1 781 C3 021
c) acyclic graph
a) initial, current
03 41 D 17 81C 30 1D 29 B7 12 47 D 70 364 1F B 78 C3 02 D2
a) Moore machine
1F B 78 C 02 D2 C 71 F 7C E 03 41 D 1 81 30 1D 29 B
DB 17 1C 302 1D 9C B7 2F 47C DE 70 64 FD B1 781 C3 21 2 CB 71
17 81C 302 1D 29C B7 12F 47 DE 70 364 1FD B1 781 C3 021 D2 9CB 71 2F4
C3 21 2 CB 71 F4 C E 03 41 D 17 1C 30 1D 29 B7 12 47 D
02 D2 9C 71 2F 7C DE 703 641 FD B1 81 30 21D 29 CB 12 F47 CD E7
N.B. 1) All questions are compulsory.
2F 7C DE 03 64 FD 1 81 30 21 29 B 12 4 CD E7 36 1F DB 78
Page 1 of 3
E7 036 41F DB 17 81C 302 1D 29C B7 12F 47C DE 70 364 1FD B1 781 C3 021
4) Mixing of sub-questions is not allowed.
03 41 D 17 81C 30 1D 29 B7 12 47 D 70 364 1F B 78 C3 02 D2
64 FD B1 81 3 21 29 CB 12 F4 CD E7 36 1F DB 17 1C 02 1D 9C
1F B 78 C 02 D2 C 71 F 7C E 03 41 D 1 81 30 1D 29 B
(2 ½ Hours)
b) 0+
C3 21 2 CB 71 F4 C E 03 41 D 17 1C 30 1D 29 B7 12 47 D
02 D2 9C 71 2F 7C DE 703 641 FD B1 81 30 21D 29 CB 12 F47 CD E7
d) DFA
1D 9C B7 2F 47 D 70 64 FD B1 78 C3 21 2 CB 71 F4 C E 03
21D29CB712F47CDE703641FDB1781C30
29 B 12 47 CD E70 36 1F B 78 1C3 02 D2 9C 71 2F 7C DE 703 641
d) 0* + 0+
CB 71 F4 CD E7 36 41 DB 17 1C 02 1D 9C B7 2F 47 D 70 64 FD
S0133 / S2002 THEORY OF COMPUTATION.
d) parse tree
d) next, final
b) binary tree
47 D 70 64 1F B 78 C3 21 D2 CB 71 F4 7C E 03 41 D 17 1C
CD E7 36 1F DB 17 1C 02 D 9C 7 2F 7C DE 70 64 FD B1 81 3
03 41 D 17 81C 30 1D 29 B7 12 47 D 70 364 1F B 78 C3 02 D2
64 FD B1 81 3 21 29 CB 12 F4 CD E7 36 1F DB 17 1C 02 1D 9C
1F B 78 C 02 D2 C 71 F 7C E 03 41 D 1 81 30 1D 29 B
3) Draw suitable diagrams and illustrations wherever necessary.
b) pushdown automata
17 81C 302 1D 29C B7 12F 47 DE 70 364 1FD B1 781 C3 021 D2 9CB 71 2F4
d) vertex, directed edge
81 30 1D 29 B 12 47 CD 7 36 1F B 78 C 02 D 9C 7 2F 7C
set of final states, an initial state and a stack called pushdown store.
C3 21 2 CB 71 F4 C E 03 41 D 17 1C 30 1D 29 B7 12 47 D
b) vertex, undirected edge
When the moves of the machine cannot be determined uniquely by the input
represents a state and _____ indicate the transition of a state and the edges are
iv. A _______ has a read-only input tape, an input alphabet, a finite state control,
v. The acceptability of a string is decided by the reachability from the ____ state
[Total Marks: 75
(5M)
(5M)
Q.3
Q.2
D 70 64 F B 78 C3 21 2 C 71 F4 C E 03 41 D 17 C.
DE E70 364 1FDDB1 1781 1C3 021 D29 9CB B712 2F4 7CDDE7 7036 641F FDB B17 81C
3 1 7 C 0 D 7 0 4 8 3
E7 7036 641F FDB B17 81C 302 21D 29C CB7 712F F47C CDE E70 364 1FDDB1 1781 1C3 021
03 41 D 17 81C 30 1D 29 B7 12 47 D 70 364 1F B 78 C3 02 D2
64 FD B1 81 3 21 29 CB 12 F4 CD E7 36 1F DB 17 1C 02 1D 9C
1F B 78 C 02 D2 C 71 F 7C E 03 41 D 1 81 30 1D 29 B
DB 17 1C 302 1D 9C B7 2F 47C DE 70 64 FD B1 781 C3 21 2 CB 71
17 81C 302 1D 29C B7 12F 47 DE 70 364 1FD B1 781 C3 021 D2 9CB 71 2F4
81 30 1D 29 B 12 47 CD 7 36 1F B 78 C 02 D 9C 7 2F 7C
C3 21 2 CB 71 F4 C E 03 41 D 17 1C 30 1D 29 B7 12 47 D
02 D2 9C 71 2F 7C DE 703 641 FD B1 81 30 21D 29 CB 12 F47 CD E7
1D 9C B7 2F 47 D 70 64 FD B1 78 C3 21 2 CB 71 F4 C E 03
b. a*+b
Sa
Ua
29 B 12 47 CD E70 36 1F B 78 1C3 02 D2 9C 71 2F 7C DE 703 641
CB 71 F4 CD E7 36 41 DB 17 1C 02 1D 9C B7 2F 47 D 70 64 FD
71 2F4 7C E7 03 41 FDB 17 81C 30 1D 29C B7 12F 47 CD E70 364 1F B1
2F 7C DE 03 64 FD 1 81 30 21 29 B 12 4 CD E7 36 1F DB 78
i. Define language.
47 D 70 64 1F B 78 C3 21 D2 CB 71 F4 7C E 03 41 D 17 1C
a. a*b(a+b)*
more a’s than b’s.
CD E7 36 1F DB 17 1C 02 D 9C 7 2F 7C DE 70 64 FD B1 81 3
iv. What is a sentence?
E7 036 41F DB 17 81C 302 1D 29C B7 12F 47C DE 70 364 1FD B1 781 C3 021
q3
q2
q1
U for c do S
P: S if b then U
03 41 D 17 81C 30 1D 29 B7 12 47 D 70 364 1F B 78 C3 02 D2
q0
state
of 1’s in w is 3 mod 4.
64 FD B1 81 3 21 29 CB 12 F4 CD E7 36 1F DB 17 1C 02 1D 9C
S if b then U else S
81 30 1D 29 B 12 47 CD 7 36 1F B 78 C 02 D 9C 7 2F 7C
C3 21 2 CB 71 F4 C E 03 41 D 17 1C 30 1D 29 B7 12 47 D
1D 9C B7 2F 47 D 70 64 FD B1 78 C3 21 2 CB 71 F4 C E 03
29 B 12 47 CD E70 36 1F B 78 1C3 02 D2 9C 71 2F 7C DE 703 641
q3
q2
q1
q3
a=0
CB 71 F4 CD E7 36 41 DB 17 1C 02 1D 9C B7 2F 47 D 70 64 FD
71 2F4 7C E7 03 41 FDB 17 81C 30 1D 29C B7 12F 47 CD E70 364 1F B1
2F 7C DE 03 64 FD 1 81 30 21 29 B 12 4 CD E7 36 1F DB 78
47 D 70 64 1F B 78 C3 21 D2 CB 71 F4 7C E 03 41 D 17 1C
CD E7 36 1F DB 17 1C 02 D 9C 7 2F 7C DE 70 64 FD B1 81 3
Page 2 of 3
E7 036 41F DB 17 81C 302 1D 29C B7 12F 47C DE 70 364 1FD B1 781 C3 021
03 41 D 17 81C 30 1D 29 B7 12 47 D 70 364 1F B 78 C3 02 D2
64 FD B1 81 3 21 29 CB 12 F4 CD E7 36 1F DB 17 1C 02 1D 9C
Next State
q0
q3
q2
1F B 78 C 02 D2 C 71 F 7C E 03 41 D 1 81 30 1D 29 B q1
a=1
DB 17 1C 302 1D 9C B7 2F 47C DE 70 64 FD B1 781 C3 21 2 CB 71
17 81C 302 1D 29C B7 12F 47 DE 70 364 1FD B1 781 C3 021 D2 9CB 71 2F4
81 30 1D 29 B 12 47 CD 7 36 1F B 78 C 02 D 9C 7 2F 7C
C3 21 2 CB 71 F4 C E 03 41 D 17 1C 30 1D 29 B7 12 47 D
02 D2 9C 71 2F 7C DE 703 641 FD B1 81 30 21D 29 CB 12 F47 CD E7
Explain the following terms in one or two lines
21D29CB712F47CDE703641FDB1781C30
29 B 12 47 CD E70 36 1F B 78 1C3 02 D2 9C 71 2F 7C DE 703 641
CB 71 F4 CD E7 36 41 DB 17 1C 02 1D 9C B7 2F 47 D 70 64 FD
S0133 / S2002 THEORY OF COMPUTATION.
2F 7C DE 03 64 FD 1 81 30 21 29 B 12 4 CD E7 36 1F DB 78
v. When do we say two regular expressions are equivalent?
47 D 70 64 1F B 78 C3 21 D2 CB 71 F4 7C E 03 41 D 17 1C
CD E7 36 1F DB 17 1C 02 D 9C 7 2F 7C DE 70 64 FD B1 81 3
Output
E7 036 41F DB 17 81C 302 1D 29C B7 12F 47C DE 70 364 1FD B1 781 C3 021
03 41 D 17 81C 30 1D 29 B7 12 47 D 70 364 1F B 78 C3 02 D2
64 FD B1 81 3 21 29 CB 12 F4 CD E7 36 1F DB 17 1C 02 1D 9C
1F B 78 C 02 D2 C 71 F 7C E 03 41 D 1 81 30 1D 29 B
DB 17 1C 302 1D 9C B7 2F 47C DE 70 64 FD B1 781 C3 21 2 CB 71
2F 7C DE 03 64 FD 1 81 30 21 29 B 12 4 CD E7 36
C. Construct a DFA accepting all the string w over {0, 1} such that the number
47 D 70 64 1F B 78 C3 21 D2 CB 71 F4 7C E 03
ii. What is the regular expression corresponding to the set of all the strings over
E. Define Regular grammar. Also Generate the transition diagram for the
B. Construct a Mealy Machine which is equivalent to the Moore machine given
CD E7 36 1F DB 17 1C 02 D 9C 7 2F 7C DE 70 64
Q.P. Code: 22218
81 30 1D 29 B 12 47 CD 7 36 1F B
C3 21 2 CB 71 F4 C E 03 41 D 1
02 D2 9C 71 2F 7C DE 703 641 FD B1
1D 9C B7 2F 47 D 70 64 FD B1 7
29 B 12 47 CD E70 36 1F B 78
C 71 F4 C E 3 41 D 17 1
29 CB 712 F47 CD E70 036 41F DB 178 1C3
C 71 F C E 3 41 D 17 1 0
CB B71 2F4 47CDDE7 7036 641 FDB B17 81C C302 21D
7 2F 7C E 03 4 FD 1 81 30 1 29
B7 12F 47 D 70 64 1FD B1 781 C3 21 D2 CB
1 C E 3 1 0 D 9
71 2F4 47C DE7 703 641 FDB B17 781C C30 21D 29C CB7 712F
D
2F 7C E 03 64 FD 1 81 30 21 29 B 12 4
12 47 D 70 6 1F B 78 C3 2 D2 C 71 F 7C
F C E 3 41 D 17 1 0 1D 9 B 2 47 D
F4 47CDDE7 7036 641 FDB B17 81C C302 21D 29C CB7 712F F47 CD E70
7 F 8 C E 3
47 CD E70 0364 41F DB 178 1C3 3021 1D2 29CB B71 12F4 47C DE 703 641
CD E7 36 1F DB 17 1C 02 D 9C 7 2F 7C DE 70 64 FD
7C E 03 41 D 1 81 30 1D 29 B 12 47 D 7 36 1F B
D 70 64 F B 78 C3 21 2 C 71 F4 C E 03 41 D 17
Q.4
E.
C.
B.
C.
B.
D.
D.
A.
DE E70 364 1FDDB1 1781 1C3 021 D29 9CB B712 2F4 7CDDE7 7036 641F FDB B17 81C
3 1 7 C 0 D 7 0 4 8 3
E7 7036 641F FDB B17 81C 302 21D 29C CB7 712F F47C CDE E70 364 1FDDB1 1781 1C3 021
03 41 D 17 81C 30 1D 29 B7 12 47 D 70 364 1F B 78 C3 02 D2
64 FD B1 81 3 21 29 CB 12 F4 CD E7 36 1F DB 17 1C 02 1D 9C
1F B 78 C 02 D2 C 71 F 7C E 03 41 D 1 81 30 1D 29 B
DB 17 1C 302 1D 9C B7 2F 47C DE 70 64 FD B1 781 C3 21 2 CB 71
17 81C 302 1D 29C B7 12F 47 DE 70 364 1FD B1 781 C3 021 D2 9CB 71 2F4
81 30 1D 29 B 12 47 CD 7 36 1F B 78 C 02 D 9C 7 2F 7C
C3 21 2 CB 71 F4 C E 03 41 D 17 1C 30 1D 29 B7 12 47 D
02 D2 9C 71 2F 7C DE 703 641 FD B1 81 30 21D 29 CB 12 F47 CD E7
1D 9C B7 2F 47 D 70 64 FD B1 78 C3 21 2 CB 71 F4 C E 03
e. ab*a
29 B 12 47 CD E70 36 1F B 78 1C3 02 D2 9C 71 2F 7C DE 703 641
CB 71 F4 CD E7 36 41 DB 17 1C 02 1D 9C B7 2F 47 D 70 64 FD
71 2F4 7C E7 03 41 FDB 17 81C 30 1D 29C B7 12F 47 CD E70 364 1F B1
2F 7C DE 03 64 FD 1 81 30 21 29 B 12 4 CD E7 36 1F DB 78
47 D 70 64 1F B 78 C3 21 D2 CB 71 F4 7C E 03 41 D 17 1C
d. a+b(a+b)*
CD E7 36 1F DB 17 1C 02 D 9C 7 2F 7C DE 70 64 FD B1 81 3
E7 036 41F DB 17 81C 302 1D 29C B7 12F 47C DE 70 364 1FD B1 781 C3 021
q1
q5
q4
q3
q2
b. (aa)*+(aaa)*
03 41 D 17 81C 30 1D 29 B7 12 47 D 70 364 1F B 78 C3 02 D2
q1
q0
state
64 FD B1 81 3 21 29 CB 12 F4 CD E7 36 1F DB 17 1C 02 1D 9C
Present
states/
1F B 78 C 02 D2 C 71 F 7C E 03 41 D 1 81 30 1D 29 B
DB 17 1C 302 1D 9C B7 2F 47C DE 70 64 FD B1 781 C3 21 2 CB 71
17 81C 302 1D 29C B7 12F 47 DE 70 364 1FD B1 781 C3 021 D2 9CB 71 2F4
81 30 1D 29 B 12 47 CD 7 36 1F B 78 C 02 D 9C 7 2F 7C
C3 21 2 CB 71 F4 C E 03 41 D 17 1C 30 1D 29 B7 12 47 D
02 D2 9C 71 2F 7C DE 703 641 FD B1 81 30 21D 29 CB 12 F47 CD E7
c. (1+01+001)*(+0+00)
1D 9C B7 2F 47 D 70 64 FD B1 78 C3 21 2 CB 71 F4 C E 03
a. (a+b)*(aa+bb+ab+ba)*
b
0Rq5
bRq3
q1
q0
71 2F4 7C E7 03 41 FDB 17 81C 30 1D 29C B7 12F 47 CD E70 364 1F B1
2F 7C DE 03 64 FD 1 81 30 21 29 B 12 4 CD E7 36 1F DB 78
47 D 70 64 1F B 78 C3 21 D2 CB 71 F4 7C E 03 41 D 17 1C
Page 3 of 3
E7 036 41F DB 17 81C 302 1D 29C B7 12F 47C DE 70 364 1FD B1 781 C3 021
03 41 D 17 81C 30 1D 29 B7 12 47 D 70 364 1F B 78 C3 02 D2
64 FD B1 81 3 21 29 CB 12 F4 CD E7 36 1F DB 17 1C 02 1D 9C
*****
1F B 78 C 02 D2 C 71 F 7C E 03 41 D 1 81 30 1D 29 B
17 81C 302 1D 29C B7 12F 47 DE 70 364 1FD B1 781 C3 021 D2 9CB 71 2F4
0Lq2
0Rq4
bRq4
0Rq1
81 30 1D 29 B 12 47 CD 7 36 1F B 78 C 02 D 9C 7 2F 7C
1
C3 21 2 CB 71 F4 C E 03 41 D 17 1C 30 1D 29 B7 12 47 D
q1
q0, q1
A. Construct a deterministic automaton equivalent to
Tape symbol
1D 9C B7 2F 47 D 70 64 FD B1 78 C3 21 2 CB 71 F4 C E 03
21D29CB712F47CDE703641FDB1781C30
29 B 12 47 CD E70 36 1F B 78 1C3 02 D2 9C 71 2F 7C DE 703 641
F. Design a Turing machine that accepts {0n1n | n 1}
CB 71 F4 CD E7 36 41 DB 17 1C 02 1D 9C B7 2F 47 D 70 64 FD
S0133 / S2002 THEORY OF COMPUTATION.
CD E7 36 1F DB 17 1C 02 D 9C 7 2F 7C DE 70 64 FD B1 81 3
1Lq4
1Lq2
bRq5
E7 036 41F DB 17 81C 302 1D 29C B7 12F 47C DE 70 364 1FD B1 781 C3 021
03 41 D 17 81C 30 1D 29 B7 12 47 D 70 364 1F B 78 C3 02 D2
F. What is derivation tree? Give example to explain the concept.
64 FD B1 81 3 21 29 CB 12 F4 CD E7 36 1F DB 17 1C 02 1D 9C
Describe the characteristics of a linear bound automata model.
1F B 78 C 02 D2 C 71 F 7C E 03 41 D 1 81 30 1D 29 B
DB 17 1C 302 1D 9C B7 2F 47C DE 70 64 FD B1 781 C3 21 2 CB 71
17 81C 302 1D 29C B7 12F 47 DE 70 364 1FD B1 781 C3 021 D2 9CB 71 2F4
81 30 1D 29 B 12 47 CD 7 36 1F B 78 C 02 D 9C 7 2F 7C
C3 21 2 CB 71 F4 C E 03 41 D 17 1C 30 1D 29 B7 12 47 D
02 D2 9C 71 2F 7C DE 703 641 FD B1 81 30 21D 29 CB 12 F47 CD
1D 9C B7 2F 47 D 70 64 FD B1 78 C3 21 2 CB 71 F4 C E
29 B 12 47 CD E70 36 1F B 78 1C3 02 D2 9C 71 2F 7C DE 7
CB 71 F4 CD E7 36 41 DB 17 1C 02 1D 9C B7 2F 47 D 70
What are the ways in which we can represent Turing machines? Explain.
CD E7 36 1F DB 17 1C 02 D 9C 7 2F 7C DE 70 64
Q.P. Code: 22218
81 30 1D 29 B 12 47 CD 7 36 1F B
C3 21 2 CB 71 F4 C E 03 41 D 1
02 D2 9C 71 2F 7C DE 703 641 FD B1
1D 9C B7 2F 47 D 70 64 FD B1 7
29 B 12 47 CD E70 36 1F B 78
C 71 F4 C E 3 41 D 17 1