Aesthetic Computing
introduction to automata theory , languages and computation .