Closure Properties of Regular Languages