Regular languages are closed under complement, union, intersection, concatenation, Kleene star, reversal, homomorphism, and substitution.
The set of regular languages is closed under complementation. The complement of language L, written L, is all strings not in L but with the same alphabet. The statement says that if L is a regular lan- guage, then so is L. To see this fact, take deterministic FA for L and interchange the accept and reject states.
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).
A closure property of a language class says that given languages in the class, an operator (e.g., union) produces another language in the same class. Example: the regular languages are obviously closed under union, concatenation, and (Kleene) closure.
CFL's are closed under union, concatenation, and Kleene closure. Also, under reversal, homomorphisms and inverse homomorphisms. But not under intersection or difference. Let L and M be CFL's with grammars G and H, respectively.
Closure property states that any operation conducted on elements within a set gives a result which is within the same set of elements. Integers are either positive, negative or zero. They are whole and not fractional. Integers are closed under addition.
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.
Decision Properties: Approximately all the properties are decidable in case of finite automaton. (i) Emptiness. (ii) Non-emptiness. (iii) Finiteness. (iv) Infiniteness. (v) Membership. (vi) Equality.
Regular languages are closed under Kleene star. That is, if language R is regular, so is R.
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.