Closure under Union For any regular languages L and M, then L ∪ M is regular. Proof: Since L and M are regular, they have regular expressions, say: Let L = L(E) and M = L(F). Then L ∪ M = L(E + F) by the definition of the + operator.
Regular Languages are closed under intersection, i.e., if L1 and L2 are regular then L1 ∩ L2 is also regular. L1 and L2 are regular • L1 ∪ L2 is regular • Hence, L1 ∩ L2 = L1 ∪ L2 is regular.
A set is closed under an operation if applying that operation to any members of the set always yields a member of the set. For example, the positive integers are closed un- der addition and multiplication, but not divi- sion. Fact. The set of regular languages is closed under each Kleene operation.
Regular languages are closed under concatenation - this is demonstrable by having the accepting state(s) of one language with an epsilon transition to the start state of the next language. If we consider the language L = {a^n | n >=0}, this language is regular (it is simply a).
What is closure? Recall that a set S is closed under an operation X if the output of X is in S whenever the inputs were in S. So, for example, saying that the regular languages are "closed under union" means that if P and R are regular languages, then so is the union of P and R.
Closure Properties of Regular Languages Given a set, a closure property of the set is an operation that when applied to members of the set always returns as its answer a member of that set. For example, the set of integers is closed under addition.
Regular Languages are closed under intersection, i.e., if L1 and L2 are regular then L1 ∩ L2 is also regular. L1 and L2 are regular • L1 ∪ L2 is regular • Hence, L1 ∩ L2 = L1 ∪ L2 is regular.
Regular languages are closed under union, concatenation, star, and complementation.
Regular languages are closed under union, concatenation, star, and complementation.
Regular Languages are closed under intersection, i.e., if L1 and L2 are regular then L1 ∩ L2 is also regular. L1 and L2 are regular • L1 ∪ L2 is regular • Hence, L1 ∩ L2 = L1 ∪ L2 is regular.