adplus-dvertising
frame-decoration

Question

Consider the following problems:

(i) Whether a finite state automaton halts on all inputs?
(ii) Whether a given context free language is regular?
(iii) Whether a Turing machine computes the product of two numbers?

Which one of the following is correct?

a.

Only (i) and (iii) are undecidable problems

b.

Only (ii) and (iii) are undecidable problems

c.

Only (i) and (ii) are undecidable problems

d.

(i), (ii) and (iii) are undecidable problems

Answer: (b).Only (ii) and (iii) are undecidable problems

Engage with the Community - Add Your Comment

Confused About the Answer? Ask for Details Here.

Know the Explanation? Add it Here.

Q. Consider the following problems: (i) Whether a finite state automaton halts on all inputs? (ii) Whether a given context free language is regular? (iii) Whether a Turing...

Similar Questions

Discover Related MCQs

Q. Which of the following problems is decidable for recursive languages (L)?

Q. Consider the following grammar G:

S → A ∣ B
A → a ∣ c
B → b ∣ c
where {S, A, B} is the set of non-terminals, {a, b, c,} is the set of terminals.

Which of the following statement(s) is/are correct?
S1: LR(1) can parse all strings that are generated using grammar G.
S2: LL(1) can parse all strings that are generated using grammar G.

Q. The grammar S → (S) ∣ SS ∣ ϵ is not suitable for predictive parsing because the grammar is

Q. Two finite state machines are said to be equivalent if they:

Q. A pushdown automata behaves like a Turing machine when the number of auxiliary memory is:

Q. Pushdown automata can recognize language generated by ................

Q. To obtain a string of n Terminals from a given Chomsky normal form grammar, the number of productions to be used is:

Q. Consider the following two Grammars:

G1 : S → SbS | a
G2 : S → aB | ab, A→GAB | a, B→ABb | b

Which of the following option is correct?

Q. Context sensitive language can be recognized by a:

Q. The set A={ 0^n 1^n 2^n | n=1, 2, 3, ......... } is an example of a grammar that is:

Q. A bottom-up parser generates:

Q. Consider the following statements:

S1 : There exists no algorithm for deciding if any two Turing machines M1 and M2 accept the same language.
S2 : The problem of determining whether a Turing machine halts on any input is undecidable.

Which of the following options is correct?

Q. Which of the following regular expressions, each describing a language of binary numbers (MSB to LSB) that represents non-negative decimal values, does not include even values? (Where {+, *} are quantification characters.)

Q. Which of the following statements is/ are TRUE?

(a) The grammar S → SS a is ambiguous. (Where S is the start symbol)
(b) The grammar S → 0S1 | 01S | ϵ is ambiguous. (The special symbol ϵ represents the empty string) (Where S is the start symbol)
(c) The grammar (Where S is the start symbol)
S → T/U
T → x S y | xy | ϵ
U → yT
generates a language consisting of the string yxxyy.

Q. Pumping lemma for regular language is generally used for proving:

Q. Which of the following problems is undecidable?

Q. Finite state machine can recognize language generated by ....................

Q. The language L = {a^i b c^i | i ≥ 0} over the alphabet {a, b, c} is:

Q. Which of the following statements is not correct?

Q. Context free grammar is not closed under :