The Beard Sage

  • Machine Learning
  • Computer Architecture
  • Theoretical Computer Science
  • About Me

Post Category → Theoretical Computer Science

Chomsky Normal Form

posted in Theoretical Computer Science on March 13, 2020 by TheBeard 0 Comments

This article explores a step-by-step approach to convert any context-free grammar to a context-free grammar in Chomsky Normal Form.

Continue reading →

Regular Grammars

posted in Theoretical Computer Science on March 10, 2020 by TheBeard 0 Comments

This article discusses the concept of Regular Grammars and their equivalence with NFAs. Conversion examples included.

Continue reading →

Context-Free Grammar – Formal Definition and Observations

posted in Theoretical Computer Science on March 7, 2020 by TheBeard 0 Comments

A short primer on the formal definition of a context-free grammar followed by few observations.

Continue reading →

Proving a Language is not Regular using the Pumping Lemma – String Choices

posted in Theoretical Computer Science on March 4, 2020 by TheBeard 0 Comments

This article explores a step by step approach to prove that a language is not regular by using a combination of Closure Properties and the Pumping Lemma.

Continue reading →

Proving a Language is not Regular using the Pumping Lemma

posted in Theoretical Computer Science on February 28, 2020 by TheBeard 1 Comment

This article explores, with the help of figures, a step by step approach to prove that a language is not regular by contradicting the Pumping Lemma for Regular languages.

Continue reading →

Visualizing the Pumping Lemma for Regular Languages – Splitting into Substrings

posted in Theoretical Computer Science on February 24, 2020 by TheBeard 2 Comments

This article explains how to read the Pumping Lemma conditions by visualizing the breaking of a string into three substrings. A blueprint to use this Lemma to prove a language is not regular is discussed.

Continue reading →

Converting an NFA to an equivalent Regular Expression – the GNFA method

posted in Theoretical Computer Science on February 20, 2020 by TheBeard 0 Comments

The GNFA method is a procedure to rip out states from an NFA one by one to produce an equivalent regular expression. This article takes an example and explains each step through detailed figures.

Continue reading →

Converting an NFA to an equivalent DFA

posted in Theoretical Computer Science on February 14, 2020 by TheBeard 0 Comments

Both deterministic and non-deterministic finite machines recognize the set of regular languages. This article explores a step by step approach to convert a NFA to a DFA that accepts the same language through detailed examples.

Continue reading →

Converting a Regular Expression to an equivalent NFA

posted in Theoretical Computer Science on February 10, 2020 by TheBeard 0 Comments

A step-by-step approach to convert a regular expression to an equivalent NFA. Basic 6 cases are explained followed by a complex expression example.

Continue reading →

Constructing the Cross-Product of 2 DFAs

posted in Theoretical Computer Science on February 7, 2020 by TheBeard 0 Comments

A step-by-step visual approach to construct the Cross-Product of two DFAs to create the union and intersection of two languages.

Continue reading →
← Older posts
Newer posts →
Copyright (C) 2021. All rights reserved.