Properties of Regular Languages 24-12-2020