========================================= Properties of Regular Languages ========================================= See the Linz textbook.