View Detailed Profile
Regular Languages are Closed Under Union | Theory of Computation

Regular Languages are Closed Under Union | Theory of Computation

We construct the NFA to prove that

Closure Properties of Regular Languages + Proofs

Closure Properties of Regular Languages + Proofs

Here we prove five closure properties of

Proving that regular languages are closed under the union (In-depth)

Proving that regular languages are closed under the union (In-depth)

In this video, I give an in-depth proof that

Regular Languages are Closed Under Concatenation | Theory of Computation

Regular Languages are Closed Under Concatenation | Theory of Computation

We construct the NFA to prove that

Regular Languages are Closed Under Kleene Star | Theory of Computation

Regular Languages are Closed Under Kleene Star | Theory of Computation

We construct the NFA to prove that

Regular Languages Closed Under Union/Intersection (Product Construction)

Regular Languages Closed Under Union/Intersection (Product Construction)

Here we show how to achieve closure

Regular Languages Closed Under "Avoids" (Sipser 1.70 Solution)

Regular Languages Closed Under "Avoids" (Sipser 1.70 Solution)

Here we show that

Regular Languages Closed Under Suffix Example

Regular Languages Closed Under Suffix Example

Here we do an example on showing that

Regular Languages Closed Under Complement Proof

Regular Languages Closed Under Complement Proof

Here we show that

Regular Languages Closed Under "Avoids" Example (Sipser 1.70)

Regular Languages Closed Under "Avoids" Example (Sipser 1.70)

Here we give an example of the fact that

Regular Languages Closed Under Division (Sipser 1.45 Solution)

Regular Languages Closed Under Division (Sipser 1.45 Solution)

Here we show that if A and B are

Bonus Review 2: Proving Regularity Using Closure Properties of Regular Operations

Bonus Review 2: Proving Regularity Using Closure Properties of Regular Operations

In Homework 1, some folks indicated that proving languages are regular using the fact that

Context-Free Languagess are Closed Under Intersection with Regular Languages

Context-Free Languagess are Closed Under Intersection with Regular Languages

Here we consider the problem of intersecting a CFL and a