adplus-dvertising

Welcome to the Theory of Computation(TOC) MCQs Page

Dive deep into the fascinating world of Theory of Computation(TOC) with our comprehensive set of Multiple-Choice Questions (MCQs). This page is dedicated to exploring the fundamental concepts and intricacies of Theory of Computation(TOC), a crucial aspect of GATE CSE Exam. In this section, you will encounter a diverse range of MCQs that cover various aspects of Theory of Computation(TOC), from the basic principles to advanced topics. Each question is thoughtfully crafted to challenge your knowledge and deepen your understanding of this critical subcategory within GATE CSE Exam.

frame-decoration

Check out the MCQs below to embark on an enriching journey through Theory of Computation(TOC). Test your knowledge, expand your horizons, and solidify your grasp on this vital area of GATE CSE Exam.

Note: Each MCQ comes with multiple answer choices. Select the most appropriate option and test your understanding of Theory of Computation(TOC). You can click on an option to test your knowledge before viewing the solution for a MCQ. Happy learning!

Theory of Computation(TOC) MCQs | Page 9 of 14

Q81.
The following diagram represents a finite state machine which takes as input a binary number from the least significant bit. Which one of the following is TRUE?
Discuss
Answer: (b).It computes 2's complement of the input number
Q82.
The following finite state machine accepts all those binary strings in which the number of 1's and 0's are respectively
Discuss
Answer: (a).divisible by 3 and 2
Discuss
Answer: (b).It only accepts strings with substring as "aababb"
Q84.
Consider the DFAs M and N given below. The number of states in a minimal DFA that accepts the language L(M) ∩ L(N) is __________.

a.

0

b.

1

c.

2

d.

3

Discuss
Answer: (b).1
Q85.
If the final states and non-final states in the DFA below are interchanged, then which of the following languages over the alphabet {a,b} will be accepted by the new DFA?
Discuss
Answer: (a).Set of all strings that do not end with ab
Q86.
Consider the following two finite automata. M1 accepts L1 and M2 accepts L2. Which one of the following is TRUE?
Discuss
Answer: (a).L1 = L2
Q87.
Consider the following languages. Which one of the following statements is FALSE?
Discuss
Answer: (d).Complement of L1 is context-free but not regular
Q88.
Consider the below problem:

a.

A

b.

B

c.

C

d.

D

Discuss
Answer: (c).C
Discuss
Answer: (c).All the three languages are context free
Q90.
Consider the languages L1 = {0^i1^j | i != j}. L2 = {0^i1^j | i = j}. L3 = {0^i1^j | i = 2j+1}. L4 = {0^i1^j | i != 2j}.
Discuss
Answer: (d).All are context free

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!