Skip to content

Category Archives: Theory of Computation

Prerequisite – Turing Machine Turing Machines can broadly be classified into two types, the Acceptors and the Transducers. Acceptor Turing Machine is an automaton used… Read More
Overview :Computer Science is the science of computers how computers work and do computations. Laptops, desktops, quantum computers, microprocessors, etc. are all the physical aspects… Read More
We know about Decidable, Semi-decidable, and Undecidable problems and in this article, we will briefly define these problems and provide the most commonly asked questions… Read More
In Automata theory, Finite Automata can be classified into three types- DFA NFA ∈-NFA ∈ means an empty input. That means the automaton can change… Read More
Finite Automata can be classified into three types-  DFA NFA ∈-NFA. The only difference between ∈-NFA and NFA is that ∈-NFA has a different transition… Read More
Epsilon NFA is a part of Finite Automata. ∈ is a symbol that represents empty inputs. ∈-NFA is the representation that allows an automaton to… Read More
∈-NFA is a part of Finite Automata. ∈ is a symbol that represents empty inputs. ∈-NFA is the representation that allows an automaton to change… Read More
Broad Overview : Complexity theory, in a nutshell, a complexity word is a quite fancy word, literally, it sounds complex, but it is not an… Read More
State Elimination Method : Rules to convert a DFA/NFA//Ɛ-NFA into corresponding Regular Expression. Arden’s Method is not capable of converting Ɛ-NFA. By state elimination method… Read More
These questions for practice purpose of GATE CS Exam. Ques-1: Consider the following statements:Attention reader! Don’t stop learning now.  Practice GATE exam well before the… Read More
These questions for practice purpose for GATE CS Exam.  Ques-1: Consider the following two statements with respect to Countability:  Attention reader! Don’t stop learning now.  Practice… Read More
These questions for practice purpose for GATE CS Exam. Ques-1: Consider L= {(TM) | TM is the Turing machine that halts on all input and… Read More
These questions for practice purpose for GATE CS Exam. Ques-1: Which one of the following language is Regular? (A) {wxwR | w,x ∈ (a+b)+} (B)… Read More
What is the complement of the language accepted by the NFA shown below? (A) A (B) B (C) C (D) D Answer: (B) Explanation: Quiz… Read More
Given the language L = {ab, aa, baa}, which of the following strings are in L*? 1) abaabaaabaa 2) aaaabaaaa 3) baaaaabaaaab 4) baaaaabaa (A)… Read More