Professional Documents
Culture Documents
Submission: [1 Mark]
b. In automata theory “Un-decidable” means that program to solve the problem is available but solution
is not fast.(F)
c. If L (M) is a language which is recognized by DFA M, then we can say that L (M) is a regular
language.(T)
d. A problem is said to be “un-decidable” if it is not possible to get the solution by using turning
machine (TM).(T)
i. In Turing machine (TM), blank symbols on the tape indicate the boundary of data.(T)
k. Turing machine (TM) will halt if there are no possible transitions to follow. (T)
l. Input will be rejected in Turing machine (TM) in case of infinite loop. (T)
m. In Turing machine (TM), it is not possible that machine enter in infinite loop. (T)
n. Input will be accepted in Turing machine (TM) if machine enter to the infinite loop. (F)
o. In Turing machines (TM), the final state may have outgoing transition. (F)
p. In Turing machine (TM), head starts at the rightmost position of the input string. (F)
q. A string “NajraN” can be defined from the regular expression [A-Z] [a-z] *[ ][A-Z][A-Z].(F)
Page 1 of 4
r. If Σ = {a, b, c} then string “abac” can be generated by regular expression ab* + c. (F)
s. If language L1 = {ε, 11, 010, 0} and language L2 = {00, 11, 111} then L1 U L2 = { ε, 0, 11, 11,
t. If Σ = {a, b}, then the regular expression (ab)+ represents the language {ε, a, b, aba, bab, ……}(F)
v. If “01” and “101” are regular expressions, then 01 + 101 is a regular expression, and language
w. If Σ = {0, 1} then string “0100” can be generated by regular expression 01(0|1)*. (T)
x. If language L1 = {ε, 01, 010, 0 } and language L2 = {00, 11} then concatenation of L1 and L2 =
2. Which of the following does not belong to Deterministic Finite Automata (DFA)
a. A finite set of input symbols.
b. A Finite set of states,
c. A start states.
d. δ the transition function that takes a state in Q and an input symbol in ∑ as argument and return a
subset of Q.
3. An alphabet is a:
a. Finite set of symbols.
b. Finite sequence of symbols.
c. Finite set of words.
d. Finite set of sentences.
4. Which one of the following string does not belong to binary alphabet?
a. 011010.
b. 210101.
c. 111010.
d. 100001.
Page 2 of 4
5. Which of the following is a not a part of 5-tuple finite automata?
a. Input alphabet
b. Transition function
c. Initial State
d. Output Alphabet
11. What will be the top of stack in PDA after transition from q1 to q2
Page 3 of 4
a. p
b. s
c. c
d. q
13. The maximum number of transitions which can be performed over a state in a DFA?
∑= {0, 1}
a. 1
b. 2
c. 3
d. 4
16. If the PDA does not stop on an accepting state and the stack is not empty, the string is:
a. Rejected
b. goes into loop forever
c. all of the mentioned
d. none of the mentioned
17. Suppose A->xBz and B->y, then the simplified grammar would be:
a. A->xyz
b. A->xBz|xyz
c. A->xBz|B|y
d. none of the mentioned
Page 4 of 4
18. The length of tape in Turing machine is……….. and the length of input language is………….:
a. Finite, infinite
b. Finite, finite
c. Infiniti, finite
d. Infinite, infinite
a. L
b. R
c. S
d. None of the mentioned
20. For S->0S1|e for ∑={0,1}*, which of the following is wrong for the language produced?
a. Non regular language
b. 0 n 1n | n>=0
c. 0 n 1 n | n>=1
d. None of the mentioned
3. Suppose we have three states q0, q1, and q2. Consider that q0 is start state and q2 is final state. Consider the
following transition functions;
δ(q0, 0) =q1
δ(q0, 1) =q0
δ(q1, 0) =q2
δ(q1, 1) =q0
δ(q2, 0) =q2
δ(q2, 1) =q2
Page 5 of 4
c. Illustrate which type of language will be accepted by transition diagram defined in "b".
Page 6 of 4
Construct the equivalent Deterministic Finite Automata (DFA) using subset construction method. Also show the
state transition table.
Page 7 of 4
6. Consider the regular expressions given in column one and recognize which string/type of string can be
generated from the strings given in column two for each regular expression.
Page 8 of 4
11 3
abaaaba
13 acaddd
8. Design a Pushdown Automata (PDA) from following transition functions. (Consider q0 is start state and q3 is
final state).
Page 9 of 4