https://filesoo.com/product/36789/formal-language-a-practical-introduction-slides-