Formal language theory is a theoretical discipline in computer science that plays a foundational role in areas such as compilers design, programming language theory, information transmission, ...