Module 0111: Introduction to formal languages