# Category Archives: Theory of Computation & Automata

Problem Overview – Design a DFA in LEX Code that accepts the string having even binary number over input alphabet  {0,1}. Example –  Input : 1010… Read More
In this article, we will discuss the overview of the LEX Code that accepts the string with 0 only. And will implement with LEX code… Read More
In this article, we will discuss the LEX Code that accepts the string ending with ‘abb’ over input alphabet  {a,b} and will see the implementation… Read More
Prerequisite –  Finite automata, Regular expressions, grammar, and language. In this article, we will see some popular regular expressions and how we can convert them… Read More
Prerequisite – Regular Grammar, Regular Expressions, Chomsky hierarchy Overview :In this article, we will discuss the overview of Regular Grammar can be either Right Linear… Read More
In this article, we will discuss how you can solve the problem, and also you will see how you can design problems related to DFA… Read More
In this article, we will discuss the DFA in LEX Code which accepts a string containing the third-last element ‘a’ over input alphabet {a, b}… Read More
An Automaton is a machine that has a finite number of states. Any Two Automaton is said to be equivalent if both accept exactly the… Read More
Prerequisites: Chomsky hierarchy Type-3 grammar/regular grammar: Regular grammar generates regular language. They have a single non-terminal on the left-hand side and a right-hand side consisting… Read More
The Below Table shows the Closure Properties of Formal Languages : REG = Regular LanguageDCFL = deterministic context-free languages, CFL = context-free languages,CSL = context-sensitive languages,RC… Read More
Prerequisite : NP-Completeness Real-world Applications of constructive  P=NP  proof :The polynomial class of problems, also known as P, are solvable in polynomial time. However, the… Read More
Introduction :Parikh’s theorem in theoretical computer science says that if one looks only at the number of occurrences of each terminal symbol in a context-free… Read More
Transducers in Finite Automata(FA) means FA with Output.There are two types of Machines for FA with Output. 1. Mealy Machine : It is FA in which… Read More
Regular expressions : It is a way of representing regular languages. The algebraic description for regular languages is done using regular expressions. They can define… Read More
Overview :According to the theoretical aspects of Automata, a quotient operation can be defined as the technique that recognizes a superset of the given automation… Read More