Source: https://faculty.sist.shanghaitech.edu.cn/faculty/songfu/course/fall2018/CS131/Handbook-Formal-languages/1.pdf