Recursive Language - Closure Properties

Closure Properties

Recursive languages are closed under the following operations. That is, if L and P are two recursive languages, then the following languages are recursive as well:

  • The Kleene star
  • The image φ(L) under an e-free homomorphism φ
  • The concatenation
  • The union
  • The intersection
  • The complement of
  • The set difference

The last property follows from the fact that the set difference can be expressed in terms of intersection and complement.

Read more about this topic:  Recursive Language

Famous quotes containing the word properties:

    The reason why men enter into society, is the preservation of their property; and the end why they choose and authorize a legislative, is, that there may be laws made, and rules set, as guards and fences to the properties of all the members of the society: to limit the power, and moderate the dominion, of every part and member of the society.
    John Locke (1632–1704)