Skip to content

Category Archives: Theory of Computation

Prerequisite: Designing Finite Automata DFA (Deterministic Finite Automata or Acceptor) is a finite state machine that accepts or rejects strings of symbols. DFA accepts the… Read More
Prerequisites: Introduction of Pushdown Automata Construct Pushdown Automata for given languages Problem– Construct PDA for the language L = {anba2n | n ≥ 0}.  This… Read More
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
∈-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
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
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: X: For any language either a language L or its compliment… Read More
These questions for practice purpose for GATE CS Exam.  Ques-1: Consider the following two statements with respect to Countability:   Statement-1: If X union of ‘Y’… 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

Start Your Coding Journey Now!