Question
M = ({q0, q1}, {0, 1}, {0, 1, B}, δ, B, {q1})
Where δ is a transition function defined as
δ (q0, 0) = (q0, 0, R)
δ (q0, B) = (q1, B, R)
The language L(M) accepted by Turing machine is given as :
a.
0* 1*
b.
00*
c.
10*
d.
1*0*
Engage with the Community - Add Your Comment
Confused About the Answer? Ask for Details Here.
Know the Explanation? Add it Here.
Q. Given a Turing Machine: M = ({q0, q1}, {0, 1}, {0, 1, B}, δ, B, {q1}) Where δ is a transition function defined as δ (q0, 0) = (q0, 0, R) δ (q0, B) = (q1, B, R) The...
Similar Questions
Discover Related MCQs
Q. Consider the following linear programming problem:
Max. z = 0.50x2 – 0.10x1
Subject to the constraints
2x1 + 5x2 ≤ 80
x1 + x2 ≤ 20
and x1, x2 ≥ 0
The total maximum profit (z) for the above problem is:
View solution
Q. The regular expression for the complement of the language L = {anbm|n≥4, m≤3} is:
View solution
Q. Consider the following two languages:
L1 = {0i1j | gcd(i,j)=1}
L2 is any subset of 0*.
Which of the following is correct?
View solution
Q. Let L be the language generated by regular expression 0*10* and accepted by the deterministic finite automata M. Consider the relation RM defined by M. As all states are reachable from the start state, RM has ................ equivalence classes.
View solution
Q. Let L = {0^n1^n | n≥0} be a context free language.
Which of the following is correct?
View solution
Q. Given a Turing Machine
M = ({q0,q1,q2,q3}, {a,b}, {a,b,B}, δ, B, {q3})
Where δ is a transition function defined as
δ(q0,a) = (q1,a,R)
δ(q1,b) = (q2,b,R)
δ(q2,a) = (q2,a,R)
δ(q2,b) = (q3,b,R)
The language L(M) accepted by the Turing Machine is given as:
View solution
Q. Match the following :
List - I List - II
(a) {a^n b^n|n > 0} is a deterministic (i) but not recursive language
context free language
(b) The complement of {a^n b^n a^n|n > 0} (ii) but not context free language
is a context free language
(c) {a^n b^n a^n} is context sensitive language (iii) but can not be accepted by a deterministic pushdown automation
(d) L is a recursive language (iv) but not regular
Codes :
(a) (b) (c) (d)
View solution
Q. The language of all non-null strings of a’s can be defined by a context free grammar as
follow :
S→a S|S a| a
The word a^3 can be generated by ................ different trees.
View solution
Q. The context free grammar given by
S→XYX
X→aX|bX|λ
Y→bbb
generates the language which is defined by regular expression:
View solution
Q. There are exactly ................ different finite automata with three states x, y and z over the alphabet {a, b} where x is always the start state.
View solution
Q. Given the following two languages :
L1={a^n b a^n|n>0}
L2={a^n b a^n b^n+1|n>0}
Which of the following is correct?
View solution
Q. Consider a language A defined over the alphabet ∑={0, 1} as A = {0^[n/2] 1^n: n >= 0} .
The expression [n/2] means the floor of n/2, or what you get by rounding n/2 down to the nearest integer.
Which of the following is not an example of a string in A ?
View solution
Q. A grammar G is LL(1) if and only if the following conditions hold for two distinct productions A → α | β
I. First (α) ∩ First (β) ≠ {a} where a is some terminal symbol of the grammar.
II. First (α) ∩ First (β) ≠ λ
III. First (α) ∩ Follow(A) = φ if λ є First (β)
View solution
Q. A shift reduce parser suffers from
View solution
Q. The context free grammar for language L = {a^nb^mc^k | k = |n - m|, n≥0,m≥0,k≥0} is
View solution
Q. The number of states in a minimal deterministic finite automaton corresponding to the language L = { an | n≥4 } is
View solution
Q. Regular expression for the language L = { w ∈ {0, 1}* | w has no pair of consecutive zeros} is
View solution
Q. Consider the following two languages:
L1 = {a^n b^l a^k | n + l +k>5 }
L2 = {a^n b^l a^k |n>5, l >3, k≤ l }
Which of the following is true?
View solution
Q. LL grammar for the language L = {a^n b^m c^n+m | m≥0, n≥0} is
View solution
Q. Assume the statements S1 and S2 given as:
S1: Given a context free grammar G, there exists an algorithm for determining whether L(G) is infinite.
S2: There exists an algorithm to determine whether two context free grammars generate the same language.
Which of the following is true?
View solution
Suggested Topics
Are you eager to expand your knowledge beyond Theory of Computation(TOC)? We've curated a selection of related categories that you might find intriguing.
Click on the categories below to discover a wealth of MCQs and enrich your understanding of Computer Science. Happy exploring!