A language is called regular if it is accepted by some DFA

🔪 Operations on languages

Any set operation can be applied to languages as they are just a set of strings.

There are also some specific operations.

Unary operations

Binary operations

🌂 Closed operations

We say regular languages are closed under some operation if we can take a language that is regular, apply the operation to it, and be left with another regular language.

Complementation

If we have a DFA $M$ which accepts a language $L$, we can create a DFA to accept $\bar L$, the complement:

If we have $M=(Q, \sum, F, \delta)$ then $M'=(Q, \sum, Q \setminus F, \delta)$.