Similar Topics

Web Technologies32.1K+ articles

Python19.6K+ articles

AI-ML-DS3.8K+ articles

Computer Networks3.4K+ articles

Difference Between3.1K+ articles

GBlog2.9K+ articles

Machine Learning2.5K+ articles

Software Engineering2.0K+ articles

GATE CS1.1K+ articles

Operating Systems993+ articles

Computer Subject / Computer Science Quizzes / Theory of Computation

Theory of Computation

274+ posts

Operations on DFA

Last Updated: 17 December 2025

Deterministic Finite Automata (DFA) are abstract machines that recognize patterns and regular languages by processing input step by step using fixed rules. They are widely...read more

article_image

Theory of Computation

Problems on Turing Machine

Last Updated: 07 January 2026

Turing Machines (TM) are powerful machines that help us understand how computers solve complex problems. Unlike simpler machines, a Turing Machine has unlimited memory (a ...read more

Theory of Computation

Problems on Finite Automata

Last Updated: 23 July 2025

Finite Automata (FA) are simple machines that help us understand how computers recognize patterns in data. They follow a set of fixed rules and read input step by step to ...read more

Theory of Computation

Problems on Pushdown Automata

Last Updated: 24 July 2025

Pushdown Automata (PDA) are a special type of machine used in computer science to process certain types of languages, especially those that involve nested structures, like...read more

Theory of Computation

Why Do We Study Theory of Computation?

Last Updated: 25 August 2025

Theory of Computation (ToC) is the study of how computers solve problems using mathematical models. It helps us understand what computers can and cannot do, how efficientl...read more

Theory of Computation

Equivalence in Theory of Computation

Last Updated: 23 July 2025

In the theory of computation, equivalence refers to the idea that two computational models, representations, or systems can recognize or process the same language or solve...read more

Theory of Computation

Theory of Computation (TOC) for GATE

Last Updated: 23 July 2025

Theory of Computation (TOC) is a key subject in the GATE CSE exam. Here's a complete tutorial on the Theory of Computationfor the GATE CSE exam. Whether you're revising or...read more

Theory of Computation

Theory of Computation Tutorial

Last Updated: 02 June 2026

Theory of Computation (TOC) is the part of computer science that studies which problems computers can solve, how they solve them, and how efficiently they can do it.Studie...read more

article_image

Theory of Computation

Design a Turing Machine to Generate 'ww' from 'w'

Last Updated: 24 October 2023

Generate Turing Machine for L = {w w |- w | w∈ {a, b}}. In general, we have to double the data. For example, if the given word is abaa, then we have to generate abaaabaa.L...read more

article_image

Theory of Computation

Dovetailing in Turing Machines

Last Updated: 23 July 2025

In the carpentry industry, dovetailing is a technique of joining two pieces of wood together by interleaving them. Similarly in the case of Turing Machines dovetailing is ...read more

article_image

Theory of Computation

Geeks Premier League

Geeks Premier League 2023

Last Updated: 20 August 2025

A countable set is one that has the same cardinality (size) as the set of natural numbers, which is denoted by N (or often expressed as 0, 1, 2, 3,... in set theory). A se...read more

article_image

Theory of Computation

Geeks Premier League

Geeks Premier League 2023

What is Context-Free Grammar?

Last Updated: 23 July 2025

A grammar consists of one or more variables that represent classes of strings (i.e., languages) . There are rules that say how the strings in each class are constructed. T...read more

article_image

Theory of Computation

Automatic Lexical Generator

Last Updated: 23 July 2025

In this article, we are going to understand automatic lexical generators but before that, we have to understand what is Lexical analysis so let's understand Lexical Analys...read more

article_image

Theory of Computation

Last Updated: 23 July 2025

In the world of computer science, there's something called a Finite State Machine (FSM). It's basically a mathematical model that helps us understand how things behave whe...read more

Theory of Computation

Symbolic Model Checking

Last Updated: 26 July 2025

A formal verification technique called symbolic model checking is employed to confirm the accuracy and security of software and hardware systems. It is widely used in many...read more

Theory of Computation

...