Source: http://web.cs.hacettepe.edu.tr/~ilyas/Courses/BIL405/lec04_RegLangProperties.pdf