Closure Properties of Regular Languages
Closure Properties
A closure property of a class of languages says that given languages in the class, the operation on the languages results in a language that is also in the class. For example, the class of regular languages is closed under union, concatenation, and Kleene star operations.
Closure of Regular Languages
Closure under Union, Concatenation, and Kleene Star
If
Proof Let
We can also prove closure under concatenation and Kleene star operations in a similar way.
Closure under Intersection, Difference, and Complement
If
Proof Let
We can also prove closure under difference and complement operation in a similar way.
Closure under Reversal
If
Proof Let
- Basis: If
is a symbol, , or , then . - Induction:
- If
is , then . - If
is , then . - If
is , then .
- If
Therefore,
Closure under Homomorphism
A homomorphism on an alphabet
If
Proof Let
- Basis: If
is a symbol, , or , then . - Induction:
- If
is , then . - If
is , then . - If
is , then .
- If
Therefore,
Closure under Inverse Homomorphism
Give homomorphism
Inverse Homomorphism
For example, let
If