Mca 2 Sem Theory of Automata Formal Languages Kca201 2023
Mca 2 Sem Theory of Automata Formal Languages Kca201 2023
Mca 2 Sem Theory of Automata Formal Languages Kca201 2023
MCA
(SEM II)) THEORY EXAMINATION 2022-23
THEORY OF AUTOMATA & FORMAL LANGUAGES
Time: 3 Hours Total Marks: 100
Note: Attempt all Sections. If require any missing data; then choose suitably.
SECTION A
2
13
(j) What do you mean by Halting Problem of Turing Machine?
_2
2.
P2
24
SECTION B
3E
5.
.5
P2
(a) Discuss transition function of NFA. Convert the given NFA into DFA. Also
|1
write tuples of corresponding DFA.
5
:0
: 48
08
3
02
-2
08
1-
|0
(d) Design a PDA that will accepts all even length palindromes over the input
symbols {a,b}*. Also justify your transition diagram for the string
w=“abbaaaabba”.
(e) Define Post's Correspondence Problem (PCP) and Modified PCP with
itsapplications. Find a PCP solutions
so of the lists x=(b,bab3,ba) andy=(b3,ba,a).
SECTION C
3. Attempt any one part of the following:
following 10x1=10
90
2
(a) Define Deterministic Finite Automata (DFA). Mathematically represent a DFA
13
_2
that will accept all strings of 0's and 1's except ‘101’ as a substring.
2.
(b) What do you understand by minimum state automation?
automat ? Construct a minimum
P2
24
state automation for the given transition diagram.
3E
5.
.5
P2
17
Q
|1
5
:0
: 48
08
3
02
Regular Languages.
08
(b) State Arden Theorem.. Find out the regular expression for the given transition
1-
diagram.
|0
2
13
_2
2.
P2
24
3E
5.
.5
P2
17
Q
|1
5
:0
: 48
08
3
02
-2
08
1-
|0